diff options
| author | Aaron Carlisle <carlisle.b3d@gmail.com> | 2020-10-07 17:14:42 +0300 |
|---|---|---|
| committer | Aaron Carlisle <carlisle.b3d@gmail.com> | 2020-10-07 17:25:46 +0300 |
| commit | e748abda92cf71852db29150f4f2524e3a17b156 (patch) | |
| tree | 824b365d35d11643a582f6dcf12bc9ed90e81e88 /doc/python_api/sphinx_doc_gen.py | |
| parent | e3a0e57542ff153575e1d0de1dc18388406ca6a8 (diff) | |
PyDoc: Remove workaround for slow sphinx builds
Tesing with newer versions of sphinx to directory `sphinx-build` is
executed has no affect on the build time. Testing even gave a 2-3% speed
boost.
Diffstat (limited to 'doc/python_api/sphinx_doc_gen.py')
| -rw-r--r-- | doc/python_api/sphinx_doc_gen.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/python_api/sphinx_doc_gen.py b/doc/python_api/sphinx_doc_gen.py index 7e9a42a721a..9526e236f20 100644 --- a/doc/python_api/sphinx_doc_gen.py +++ b/doc/python_api/sphinx_doc_gen.py @@ -41,8 +41,7 @@ Sphinx: HTML generation After you have built doc/python_api/sphinx-in (see above), generate html docs by running: - cd doc/python_api - sphinx-build sphinx-in sphinx-out + sphinx-build doc/python_api/sphinx-in doc/python_api/sphinx-out Sphinx: PDF generation |