diff options
Diffstat (limited to 'doc')
-rwxr-xr-x | doc/python_api/sphinx_doc_gen.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/python_api/sphinx_doc_gen.sh b/doc/python_api/sphinx_doc_gen.sh index ccb293d7a0e..92461961920 100755 --- a/doc/python_api/sphinx_doc_gen.sh +++ b/doc/python_api/sphinx_doc_gen.sh @@ -61,7 +61,7 @@ if $DO_OUT_HTML ; then # annoying bug in sphinx makes it very slow unless we do this. should report. cd $SPHINXBASE - sphinx-build -n -b html sphinx-in sphinx-out + sphinx-build -b html sphinx-in sphinx-out # XXX, saves space on upload and zip, should move HTML outside # and zip up there, for now this is OK |