diff options
| author | Jordan Wiens <jordan@psifertex.com> | 2020-10-16 16:38:39 -0400 |
|---|---|---|
| committer | Jordan Wiens <jordan@psifertex.com> | 2020-10-21 15:44:13 -0400 |
| commit | 2dd60db958a500469e60e383ebcd5aac2a9e4b43 (patch) | |
| tree | 54245c3c0917df843a202dc7c4ec1011c2abfdcf /api-docs/make.bat | |
| parent | f007112a3de561cc49b8632dbb7e316fd106d108 (diff) | |
interim progress using exhale
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%
|