diff options
Diffstat (limited to 'doc/make.bat')
| -rw-r--r-- | doc/make.bat | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/make.bat b/doc/make.bat index 2440f7c9356..3e72cadb53b 100644 --- a/doc/make.bat +++ b/doc/make.bat @@ -5,8 +5,8 @@ REM Command file for Sphinx documentation if "%SPHINXBUILD%" == "" ( set SPHINXBUILD=sphinx-build ) -set BUILDDIR=build -set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% source +set BUILDDIR=_build +set ALLSPHINXOPTS=-d %BUILDDIR%/doctrees %SPHINXOPTS% . if NOT "%PAPER%" == "" ( set ALLSPHINXOPTS=-D latex_paper_size=%PAPER% %ALLSPHINXOPTS% ) |