diff --git a/manual/make.bat b/manual/make.bat index 79da54c..20bff1e 100644 --- a/manual/make.bat +++ b/manual/make.bat @@ -2,7 +2,7 @@ REM Command file for Sphinx documentation -set SPHINXBUILD=sphinx-build-3 +set SPHINXBUILD=sphinx-build set ALLSPHINXOPTS=-d build/doctrees %SPHINXOPTS% source if NOT "%PAPER%" == "" ( set ALLSPHINXOPTS=-D latex_paper_size=%PAPER% %ALLSPHINXOPTS%