diff --git a/docs/make.bat b/docs/make.bat index 0df8b19753..b2c541f7a5 100644 --- a/docs/make.bat +++ b/docs/make.bat @@ -1,5 +1,7 @@ @ECHO OFF +rmdir /s /q _build + REM Command file for Sphinx documentation if "%SPHINXBUILD%" == "" (