Modifications to make the build more readily find locally installed versions ofsphinx-build, and to remove the unneccary 'html' directory; output ofadmindoc is now written directly into build/docs.
Modifications to make the build more readily find locally installed versions of
sphinx-build, and to remove the unneccary 'html' directory; output of
admindoc is now written directly into build/docs.