Update make.bat

This commit is contained in:
Robert Chacón 2023-05-19 14:02:54 -06:00 committed by GitHub
parent f5856ccff2
commit 61ed567d9a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,7 +8,7 @@ if "%SPHINXBUILD%" == "" (
set SPHINXBUILD=sphinx-build
)
set SOURCEDIR=.
set BUILDDIR=_build
set BUILDDIR=_readthedocs
%SPHINXBUILD% >NUL 2>NUL
if errorlevel 9009 (