This pull request changes how sphinx is called from the docs Makefile target. Before, it just re-executed make on the docs Makefile, which indirectly called sphinx-build on the system path. Now, sphinx as well as the default RTD theme are installed to the virtual environment, and the docs target now calls the virtualenv python to invoke sphinx-build from there.
Additionally, minor bugs are fixed in this pull request pertaining to invoking cminx's CMake interface from a different project.
This pull request changes how sphinx is called from the
docsMakefile target. Before, it just re-executedmakeon the docs Makefile, which indirectly calledsphinx-buildon the system path. Now, sphinx as well as the default RTD theme are installed to the virtual environment, and thedocstarget now calls the virtualenv python to invoke sphinx-build from there.Additionally, minor bugs are fixed in this pull request pertaining to invoking cminx's CMake interface from a different project.