diff --git a/build_site.py b/build_site.py index 84b5703a3edf3eccdc8f092549422f53765f4da7..3e428db5a641e7f32adda709d5e3b6623ff98b3a 100644 --- a/build_site.py +++ b/build_site.py @@ -1,5 +1,7 @@ import shutil import os +if os.path.exists("public"): + shutil.rmtree("public") os.mkdir("public") shutil.copyfile("templates/index.html", "public/index.html") -shutil.copy("static/*", "public/") +shutil.copytree("static", "public/", dirs_exist_ok=True)