From: nicoo 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/?a=commitdiff_plain;h=bf214e0b761fc09b197be728ff0711f2486521fe;p=noc.git 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