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 `Makefile`s.
That is, move the contents of the
docssubdirectory to the base level of the repo. This would be a neater setup.In doing so, we can combine the
Makefiles.