diff --git a/scripts/makeweb.py b/scripts/makeweb.py index 33cb6269..8158478b 100644 --- a/scripts/makeweb.py +++ b/scripts/makeweb.py @@ -8,6 +8,7 @@ srcroot = "src/web/root" if os.path.exists(srcroot): shutil.rmtree(srcroot) + os.mkdir(srcroot) else: os.mkdir(srcroot)