From: nicoo <nicoo@realraum.at>
Date: Wed, 4 Jul 2018 22:49:35 +0000 (+0200)
Subject: doc: Generate a custom favicon from the logo
X-Git-Url: https://git.realraum.at/?p=noc.git;a=commitdiff_plain;h=bf214e0b761fc09b197be728ff0711f2486521fe

doc: Generate a custom favicon from the logo
---

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 b55eba2..0000000
Binary files a/doc/favicon.ico and /dev/null differ