From 20c62a63cf13030d8d0f970b5181f42b32539049 Mon Sep 17 00:00:00 2001
From: Gunnar Skjold <gunnar@origin.no>
Date: Sat, 1 Feb 2020 09:54:58 +0100
Subject: [PATCH] Fixed script to generate webroot header files

---
 scripts/makeweb.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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