Remove changes target from make.bat (#131)

This commit is contained in:
Andrew Murray 2025-04-21 15:19:10 +10:00 committed by GitHub
parent 17f8e7fce0
commit 38361c7ec6
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -67,14 +67,6 @@ if "%1" == "singlehtml" (
goto end
)
if "%1" == "changes" (
%SPHINXBUILD% -b changes %ALLSPHINXOPTS% %BUILDDIR%/changes
if errorlevel 1 exit /b 1
echo.
echo.The overview file is in %BUILDDIR%/changes.
goto end
)
if "%1" == "linkcheck" (
%SPHINXBUILD% -b linkcheck %ALLSPHINXOPTS% %BUILDDIR%/linkcheck
if errorlevel 1 exit /b 1