generate favicon.ico

9057d8d7 · Adam Matoušek · 812af573 · 9057d8d7
Verified Commit 9057d8d7 authored Oct 16, 2022 by Adam Matoušek
--- a/gib/main
+++ b/gib/main
@@ -213,6 +213,11 @@ dep templates/rss.tt
 cmd $(tool) mkrss
 add deployed-files $(out)

+out favicon.ico
+dep resources/favicon16.png
+cmd $(env) convert $(srcdir)/$(dep) $(out)
+add deployed-files $(out)
+
 # other resources
 set copied-resources robots.txt favicon16.png
 set executables _comment.cgi