doc: Generate a custom favicon from the logo

[noc.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index 8904164..e91e3c6 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,10 +1,15 @@
 .PHONY: default clean serve
 
-default:
-       ikiwiki --setup ikiwiki.setup
+default: favicon.ico
+       ikiwiki --refresh --setup ikiwiki.setup
 
 clean:
        rm -rf dest
 
 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