edited makefile to delete the build directory before compiling

11 years ago · aada6c3b6e
parent be28f7b378
commit aada6c3b6e
1 changed files with 2 additions and 0 deletions
--- 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%" == "" (