wscript
changeset 695 90a68c1c4328
parent 694 bfad4514a789
child 762 b64b1d4eadc0
--- a/wscript	Thu May 24 17:59:30 2007 +0100
+++ b/wscript	Thu May 24 19:21:50 2007 +0100
@@ -2,6 +2,7 @@
 import os
 import sys
 import shlex
+import shutil
 
 import Params
 import Object
@@ -17,6 +18,9 @@
 srcdir = '.'
 blddir = 'build'
 
+def dist_hook(srcdir, blddir):
+    shutil.rmtree("doc/html")
+    shutil.rmtree("doc/latex")
 
 def set_options(opt):
     # options provided by the modules