doc: Generate a custom favicon from the logo

diff --git a/doc/.gitignore b/doc/.gitignore
index d376e81..11b3221 100644 (file)
--- 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 (file)
--- 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 (file)
index b55eba2..0000000
Binary files a/doc/favicon.ico and /dev/null differ