doc: Generate a custom favicon from the logo

[noc.git] / doc / Makefile

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