changeset 786:577722bda233

Delete doc/{api,html} to ensure a clean build.
author Martin Geisler <mg@daimi.au.dk>
date Sun, 25 May 2008 22:51:29 +0200
parents 8dfa5bf77c0f
children 975adfbdc443
files run.py
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/run.py	Sun May 25 22:41:55 2008 +0200
+++ b/run.py	Sun May 25 22:51:29 2008 +0200
@@ -24,7 +24,7 @@
 run the commands used when building releases of VIFF.
 """
 
-import sys, os
+import sys, os, shutil
 from os.path import isdir, join, getsize
 from subprocess import Popen
 from pprint import pprint
@@ -102,9 +102,11 @@
     """Build a VIFF distribution."""
 
     # Generate HTML docs in doc/html.
+    shutil.rmtree('doc/html')
     sphinx('doc')
 
     # Generate API docs in doc/api.
+    shutil.rmtree('doc/api')
     epydoc('doc')
 
     # Retrieve the latest version of install.txt and authors.txt from