Fixed script to generate webroot header files

This commit is contained in:
Gunnar Skjold
2020-02-01 09:54:58 +01:00
parent 8f85b43fc3
commit 20c62a63cf

View File

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