diff options
author | Bastien Nocera <hadess@hadess.net> | 2019-10-22 11:28:05 +0200 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2019-10-22 11:28:05 +0200 |
commit | 4f84140821c0f1c069aeae036eb3203c56950122 (patch) | |
tree | 3681a8c67e09086b17880e77b3041348fd3ba6d7 /web-export | |
parent | 7be0f8f2d6e1b88db9a1fc92dd75f5c64d9a1be6 (diff) |
web-export: Also export favicon
Diffstat (limited to 'web-export')
-rw-r--r-- | web-export/favicon.ico | bin | 0 -> 1406 bytes | |||
-rwxr-xr-x | web-export/update.py | 2 |
2 files changed, 2 insertions, 0 deletions
diff --git a/web-export/favicon.ico b/web-export/favicon.ico Binary files differnew file mode 100644 index 0000000..0ff6da7 --- /dev/null +++ b/web-export/favicon.ico diff --git a/web-export/update.py b/web-export/update.py index bf0e171..c1423f4 100755 --- a/web-export/update.py +++ b/web-export/update.py @@ -314,3 +314,5 @@ for line in lines: for dirs in source_dirs.items(): shutil.copytree(dirs[0], dirs[1], symlinks=True) + +shutil.copy('favicon.ico', public_dir) |