From bf214e0b761fc09b197be728ff0711f2486521fe Mon Sep 17 00:00:00 2001
From: nicoo <nicoo@realraum.at>
Date: Thu, 5 Jul 2018 00:49:35 +0200
Subject: [PATCH] doc: Generate a custom favicon from the logo

---
 doc/.gitignore  |    1 +
 doc/Makefile    |    7 ++++++-
 doc/favicon.ico |  Bin 371 -> 0 bytes
 3 files changed, 7 insertions(+), 1 deletion(-)
 delete mode 100644 doc/favicon.ico

diff --git a/doc/.gitignore b/doc/.gitignore
index d376e81..11b3221 100644
--- a/doc/.gitignore
+++ b/doc/.gitignore
@@ -1,2 +1,3 @@
 .ikiwiki
 dest/
+favicon.ico
diff --git a/doc/Makefile b/doc/Makefile
index 44a1036..e91e3c6 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,6 +1,6 @@
 .PHONY: default clean serve
 
-default:
+default: favicon.ico
 	ikiwiki --refresh --setup ikiwiki.setup
 
 clean:
@@ -8,3 +8,8 @@ clean:
 
 serve: default
 	@cd dest; python -m SimpleHTTPServer
+
+favicon.ico:
+	convert assets/logo.png -define icon:auto-resize=64,48,32,16 \
+	                        -fill 'rgb(118,20,7)' -opaque white  \
+	                        favicon.ico
diff --git a/doc/favicon.ico b/doc/favicon.ico
deleted file mode 100644
index b55eba2800de9d41d9288bc084cde8ff649f8414..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 371
zcmeAS@N?(olHy`uVBq!ia0vp^0wB!61|;P_|4#%`EX7WqAsj$Z!;#Vf<Z~8yL>2?p
zUk71ECym(^Ktah8*NBqf{Irtt#G+J&^73-M%)IR4<ivthz5Jr|+3#$mfQmkNx;Tbd
zoL+i)W7Z)DhK7g2Zxr~ZS#etJ>|iYvb(EPa+q&zOa)`j((!$bUnK`mDb6hk<)MZ=V
z$uj+7Q4)DvUolOkpxyA$a?7Ick7GMF<VLd;{uWY7nzcpfsmi@r?yFKiJs*q9w;d2*
zKmLeI=gAX=K2t9{rpg-Sj~DFrGF}hc5qQ|^<f*+$oxAi7l*XT(fBK+$4$p)j;ae7q
zS8(biEPTzgr|RD~5qHU}EN0(zUoaWY*>Lp9OowpRvLByCA6P9ux1iPhkB!U&^A`O#
zACoLxau+mmbG03R!4+cYERxuhdZk#-w@2nNU)6v8;0N0cJG8$nc31EE{p<wL?+l)<
KelF{r5}E+h#*R4v

-- 
1.7.10.4