From aada6c3b6e423441c6f638d408ce10052daddc83 Mon Sep 17 00:00:00 2001
From: psychobunny <psycho.bunny@hotmail.com>
Date: Fri, 25 Apr 2014 17:49:12 -0400
Subject: [PATCH] edited makefile to delete the build directory before
 compiling

---
 docs/make.bat | 2 ++
 1 file changed, 2 insertions(+)

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%" == "" (