favicon

hyperknot · Jan 17, 2024 · 2ed8278 · 2ed8278
1 parent 4c1d69d
commit 2ed8278
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/website/assets/favicon.ico b/website/assets/favicon.ico
diff --git a/website/generate.py b/website/generate.py
@@ -30,7 +30,7 @@ def generate():
 
 
 def copy_assets():
- for file in ['style.css', 'logo_512.png', 'map.js']:
+ for file in ['style.css', 'logo_512.png', 'map.js', 'favicon.ico']:
  shutil.copyfile(ASSETS_DIR / file, OUT_DIR / file)