wscript
changeset 921 37b54ed96b09
parent 919 a9c7effce441
child 923 f5d38217e7a2
--- a/wscript	Mon Jul 09 14:31:52 2007 +0100
+++ b/wscript	Mon Jul 09 14:36:40 2007 +0100
@@ -21,8 +21,8 @@
 blddir = 'build'
 
 def dist_hook(srcdir, blddir):
-    shutil.rmtree("doc/html")
-    shutil.rmtree("doc/latex")
+    shutil.rmtree("doc/html", True)
+    shutil.rmtree("doc/latex", True)
 
 def set_options(opt):