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):