favicon

2022-12-05 23:01:43 -08:00
parent 1b32b9cf8c
commit 4455e820a7
2 changed files with 3 additions and 1 deletions
--- a/pub.py
+++ b/pub.py
@@ -74,6 +74,7 @@ def filter_filenames(filenames, ext):
 def upload_root():
    upload_file('index.html')
    upload_file('site.css')
+    upload_file('favicon.gif')
    upload_file('pubkey.asc')