diff --git a/scripts/makeweb.py b/scripts/makeweb.py index 8a7bebb4..33cb6269 100644 --- a/scripts/makeweb.py +++ b/scripts/makeweb.py @@ -5,9 +5,10 @@ import shutil webroot = "web" srcroot = "src/web/root" -shutil.rmtree(srcroot) -if not os.path.exists(srcroot): +if os.path.exists(srcroot): + shutil.rmtree(srcroot) +else: os.mkdir(srcroot) for filename in os.listdir(webroot):