From 2a0e94f3e0598434146459f5a6eb04d50daf19bd Mon Sep 17 00:00:00 2001
From: vjrj <vjrj@comunes.org>
Date: Sun, 5 Mar 2023 16:52:18 +0100
Subject: [PATCH] Better favicon generation

---
 assets/img/favicon.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/assets/img/favicon.sh b/assets/img/favicon.sh
index 994eaccd..9754427c 100755
--- a/assets/img/favicon.sh
+++ b/assets/img/favicon.sh
@@ -6,5 +6,9 @@ convert gbrevedot.png -resize 256x256 \
         -define icon:auto-resize="256,128,96,64,48,32,16" \
         favicon.ico
 
+convert gbrevedot.png -resize 256x256 favicon.png
+
+cp favicon.png ../../web/
+
 for i in 192 512; do convert gbrevedot.png -resize $ix$i ../../web/icons/Icon-$i.png; done
 for i in 192 512; do convert gbrevedot.png -resize $ix$i ../../web/icons/Icon-maskable-$i.png; done
-- 
GitLab