From d2cf0f2d22c3df41819996e7b3c844d0177f5e7b Mon Sep 17 00:00:00 2001 From: Czar Echavez Date: Wed, 15 May 2024 14:03:17 +0100 Subject: [PATCH] #2472: revert make.bat changes --- docs/make.bat | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/docs/make.bat b/docs/make.bat index 0d4049f0..399e9150 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -31,10 +31,10 @@ if "%1" == "" goto help REM delete autosummary if it exists -@REM IF EXIST %AUTOSUMMARYDIR% ( -@REM echo deleting %AUTOSUMMARYDIR% -@REM RMDIR %AUTOSUMMARYDIR% /s /q -@REM ) +IF EXIST %AUTOSUMMARYDIR% ( + echo deleting %AUTOSUMMARYDIR% + RMDIR %AUTOSUMMARYDIR% /s /q +) REM print the YT licenses set LICENSEBUILD=pip-licenses --format=rst --with-urls @@ -49,10 +49,10 @@ goto end %SPHINXBUILD% -M help %SOURCEDIR% %BUILDDIR% %SPHINXOPTS% %O% :clean -@REM IF EXIST %AUTOSUMMARYDIR% ( -@REM echo deleting %AUTOSUMMARYDIR% -@REM RMDIR %AUTOSUMMARYDIR% /s /q -@REM ) +IF EXIST %AUTOSUMMARYDIR% ( + echo deleting %AUTOSUMMARYDIR% + RMDIR %AUTOSUMMARYDIR% /s /q +) :end popd