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