Remove docs subdirectory #100
Description
That is, move the contents of the docs subdirectory to the base level of the repo. This would be a neater setup.
In doing so, we can combine the Makefiles.
{{ message }}
Remove