# HG changeset patch
# User Gustavo J. A. M. Carneiro  <gjc@inescporto.pt>
# Date 1183988200 -3600
# Node ID 37b54ed96b0970a70613af68419ddaf7b46c1769
# Parent  f04132bd679bb5f4ce66d1e7c94fd71ec91a42a5
WAF: ignore errors on shutil.rmtree in dist_hook, so that waf dist works even when no docs were previously generated.

diff -r f04132bd679b -r 37b54ed96b09 wscript
--- 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):