Build the python extension before running sphinx.

2018-01-21 21:49:32 -05:00 · 2018-01-21 21:49:32 -05:00 · 842acd697c
parent d21b1fb7d9
commit 842acd697c
1 changed files with 1 additions and 0 deletions
--- a/docs/makedocs
+++ b/docs/makedocs
@ -150,6 +150,7 @@ makedocs ()
    if [ "$1" != "fast" ] 
    then
        cd ..
+        python setup.py build || report_failure
        python setup.py build_sphinx -c docs/docs/python --build-dir docs/sphinx.$$ || report_failure
        cd docs
        cp -r sphinx.$$/html docs/web/python