Delete output directory before creating the docs

schmitts · Jan 17, 2013 · c4736a3 · c4736a3
1 parent e7226cf
commit c4736a3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dev/tools/docs/build_html_brian2.py b/dev/tools/docs/build_html_brian2.py
@@ -1,9 +1,10 @@
 import os
+import shutil
 import generate_references
 # first generate the reference documentation
 abs_root = os.path.abspath('../../../brian2')
 generate_references.main(abs_root, ['tests'], '../../../docs_sphinx/reference')
 
 os.chdir('../../../docs_sphinx')
-
+shutil.rmtree('../docs')
 os.system('sphinx-build -b html . ../docs')