From c51da264d52235c3e18c91e0aa7d354eae23765e Mon Sep 17 00:00:00 2001
From: matograine <matograine@zaclys.net>
Date: Fri, 29 Apr 2022 19:37:01 +0200
Subject: [PATCH] make example_vignette.png optional also for defautl page
---
build.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/build.py b/build.py
index b4b51c9..99963fb 100644
--- a/build.py
+++ b/build.py
@@ -133,7 +133,8 @@ if __name__ == "__main__":
content = content.replace("questions.html", lang + "/questions.html")
content = content.replace("strings.js", lang + "/strings.js")
content = content.replace("./logo_g.png", lang + "/logo_g.png")
- shutil.copy(source_lang_dir + "/example_vignette.png", build_lang_dir )
+ if os.path.isfile(source_lang_dir + "/example_vignette.png"):
+ shutil.copy(source_lang_dir + "/example_vignette.png", build_lang_dir )
# overwrite file
with open(target, "w") as f:
f.write(content)
--
GitLab