diff --git a/build.py b/build.py index b4b51c942fcfa84460e400996cb4be939e1346a7..99963fbc61692f465ff3786fd209999f77fb4ac9 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)