author | Gustavo J. A. M. Carneiro <gjc@inescporto.pt> |
Mon, 09 Jul 2007 14:36:40 +0100 | |
changeset 921 | 37b54ed96b09 |
parent 920 | f04132bd679b |
child 922 | 98bb15628b57 |
--- 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):