Add cuddly Ferris icon, generate favicon from it

nicoonoclaste · nicoonoclaste · commit 1834a8a2955c · 2019-11-15T18:41:57.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -1 +1,3 @@
 /site/
+/docs/img/favicon-*.png
+/docs/img/favicon.ico
diff --git a/GNUmakefile b/GNUmakefile
@@ -1,4 +1,5 @@
 .PHONY: all
 
 all:
+	$(MAKE) -C docs/img
 	mkdocs build
diff --git a/docs/img/GNUmakefile b/docs/img/GNUmakefile
@@ -0,0 +1,15 @@
+SIZES := 32 128 152 167 180 192 196
+PNGS := $(foreach size,$(SIZES),favicon-$(size).png)
+TARGETS := $(PNGS) favicon.ico
+
+.PHONY: all clean
+all: $(TARGETS)
+
+clean:
+	rm -f $(TARGETS)
+
+favicon-%.png: cuddlyferris.png
+	convert $< -resize $*x$* $@
+
+favicon.ico: $(PNGS)
+	icotool -c -o $@ $^
diff --git a/docs/img/cuddlyferris.png b/docs/img/cuddlyferris.png
