Use stock version of sphinx build.

This commit is contained in:
Victor Zverovich 2014-07-27 10:07:20 -07:00
parent 82652f4ee2
commit 4c563de76f

View File

@ -1,6 +1,6 @@
add_custom_command(OUTPUT html/index.html
COMMAND doxygen
COMMAND rm -rf html
COMMAND ../sphinx/sphinx-build.py -b html . html
COMMAND sphinx-build -b html . html
DEPENDS ../format.h Doxyfile conf.py index.rst _templates/layout.html)
add_custom_target(doc DEPENDS html/index.html)