changeset 788:0505533bdf10

Make sure directories are there before deleting them.
author Martin Geisler <mg@daimi.au.dk>
date Mon, 26 May 2008 19:34:22 +0200
parents 975adfbdc443
children 2f1b9576d413
files run.py
diffstat 1 files changed, 4 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/run.py	Sun May 25 23:21:47 2008 +0200
+++ b/run.py	Mon May 26 19:34:22 2008 +0200
@@ -102,11 +102,13 @@
     """Build a VIFF distribution."""
 
     # Generate HTML docs in doc/html.
-    shutil.rmtree('doc/html')
+    if isdir('doc/html'):
+        shutil.rmtree('doc/html')
     sphinx('doc')
 
     # Generate API docs in doc/api.
-    shutil.rmtree('doc/api')
+    if isdir('doc/api'):
+        shutil.rmtree('doc/api')
     epydoc('doc')
 
     # Retrieve the latest version of install.txt and authors.txt from