From db1eb75298c8cfe8d19b3ff870b6aa70c2cfa3f6 Mon Sep 17 00:00:00 2001 From: Dave Page Date: Wed, 3 Feb 2021 11:17:43 +0000 Subject: [PATCH] Don't include unnecessary doc files in the build. --- Make.bat | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/Make.bat b/Make.bat index e2228ff2a..d8f39f73d 100644 --- a/Make.bat +++ b/Make.bat @@ -249,7 +249,11 @@ REM Main build sequence Ends MKDIR "%BUILDROOT%\docs\en_US\html" CD "%WD%\docs\en_US" CALL "%TMPDIR%\venv\Scripts\python.exe" build_code_snippet.py || EXIT /B 1 - CALL "%TMPDIR%\venv\Scripts\sphinx-build.exe" "%WD%\docs\en_US" "%BUILDROOT%\docs\en_US\html" || EXIT /B 1 + CALL "%TMPDIR%\venv\Scripts\sphinx-build.exe" "%WD%\docs\en_US" "%BUILDROOT%\docs\en_US\html" || EXIT /B 1 + + REM Remove unnecessary doc files + DEL /q "%BUILDROOT%\docs\en_US\html\_static\*.png" 1> nul 2>&1 + RD /Q /S "%BUILDROOT%\docs\en_US\html\_sources" 1> nul 2>&1 ECHO Staging runtime components... XCOPY /S /I /E /H /Y "%WD%\runtime\assets" "%BUILDROOT%\runtime\assets" > nul || EXIT /B 1