From 3ce169b4e2c64da9f6a76d324eb3ad1670ce3918 Mon Sep 17 00:00:00 2001
From: "Gustavo J. A. M. Carneiro" <gjc@inescporto.pt>
Date: Mon, 9 Jul 2007 14:36:40 +0100
Subject: [PATCH] WAF: ignore errors on shutil.rmtree in dist_hook, so that waf
 dist works even when no docs were previously generated.

---
 wscript | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/wscript b/wscript
index c66fd987b..d6972910c 100644
--- a/wscript
+++ b/wscript
@@ -21,8 +21,8 @@ srcdir = '.'
 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):