viff

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 diff
     1.1 --- a/run.py	Sun May 25 23:21:47 2008 +0200
     1.2 +++ b/run.py	Mon May 26 19:34:22 2008 +0200
     1.3 @@ -102,11 +102,13 @@
     1.4      """Build a VIFF distribution."""
     1.5  
     1.6      # Generate HTML docs in doc/html.
     1.7 -    shutil.rmtree('doc/html')
     1.8 +    if isdir('doc/html'):
     1.9 +        shutil.rmtree('doc/html')
    1.10      sphinx('doc')
    1.11  
    1.12      # Generate API docs in doc/api.
    1.13 -    shutil.rmtree('doc/api')
    1.14 +    if isdir('doc/api'):
    1.15 +        shutil.rmtree('doc/api')
    1.16      epydoc('doc')
    1.17  
    1.18      # Retrieve the latest version of install.txt and authors.txt from