diff options
Diffstat (limited to 'api-docs/make.bat')
| -rw-r--r-- | api-docs/make.bat | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/api-docs/make.bat b/api-docs/make.bat index 7338b49f..c1e54708 100644 --- a/api-docs/make.bat +++ b/api-docs/make.bat @@ -5,9 +5,13 @@ REM Command file for Sphinx documentation if "%SPHINXBUILD%" == "" (
set SPHINXBUILD=sphinx-build
)
+if "%SOURCEDIR%" == "" (
+ set SOURCEDIR=source
+)
+set SPHINXOPTS = %SPHINXOPTS% -j auto
set BUILDDIR=build
-set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% source
-set I18NSPHINXOPTS=%SPHINXOPTS% source
+set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% %SOURCEDIR%
+set I18NSPHINXOPTS=%SPHINXOPTS% %SOURCEDIR%
if NOT "%PAPER%" == "" (
set ALLSPHINXOPTS=-D latex_paper_size=%PAPER% %ALLSPHINXOPTS%
set I18NSPHINXOPTS=-D latex_paper_size=%PAPER% %I18NSPHINXOPTS%
|