#2472: revert make.bat changes

This commit is contained in:
Czar Echavez
2024-05-15 14:03:17 +01:00
parent f7de3e6425
commit d2cf0f2d22

View File

@@ -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