diff --git a/docs/make.bat b/docs/make.bat index 27f573b87..8f47afbb2 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -7,8 +7,10 @@ REM Command file for Sphinx documentation if "%SPHINXBUILD%" == "" ( set SPHINXBUILD=sphinx-build ) +if "%BUILDDIR%" == "" ( + set BUILDDIR=_build +) set SOURCEDIR=. -set BUILDDIR=_build if "%1" == "" goto help