From 38361c7ec6296c2bda9f43b2d697360ee6e41c9f Mon Sep 17 00:00:00 2001 From: Andrew Murray <3112309+radarhere@users.noreply.github.com> Date: Mon, 21 Apr 2025 15:19:10 +1000 Subject: [PATCH] Remove changes target from make.bat (#131) --- docs/make.bat | 8 -------- 1 file changed, 8 deletions(-) diff --git a/docs/make.bat b/docs/make.bat index 16724674f..4126f786b 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -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