Add favicon.

2019-10-30 13:38:05 +01:00
parent 1ca0723cc2
commit 46c1e1f3df
3 changed files with 3 additions and 0 deletions
--- a/scripts/generate-pages.py
+++ b/scripts/generate-pages.py
@@ -53,6 +53,8 @@ def setup_directory_structure(settings, base_dir, template_dir):
    style_new_file = os.path.join(site_new_dir, 'style.css')
    write(style_new_file, style_out)

+    shutil.copy(os.path.join(template_dir, 'favicon.png'), site_new_dir)
+
    return site_new_dir

 def publish_new_site(site_dir, site_new_dir):