From: Christian Pointner <equinox@spreadspace.org>
Date: Fri, 6 Jul 2018 07:34:48 +0000 (+0200)
Subject: Merge pull request #27 from realraum/favicon
X-Git-Url: https://git.realraum.at/?a=commitdiff_plain;h=7d0320a01a3be8ebb0b88649deff58a52486a006;hp=106725887b34c9f38a8112a04382d37b00f2e72f;p=noc.git

Merge pull request #27 from realraum/favicon

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