--- /dev/null
+#!/usr/bin/make -f
+
+favicon_%.png: favicon.svg
+ rsvg-convert -w $* -h $* $^ > $@
+
+%.ico: %_128.png %_64.png %_48.png %_32.png %_16.png
+ convert $^ $@
+
+ICONS := favicon.ico favicon_128.png favicon_192.png favicon_256.png
+
+all: $(ICONS)
+
+clean:
+ $(RM) $(ICONS)
+