diff --git a/.gitignore b/.gitignore index 46ff246..ebbf8c6 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,3 @@ /site/ +/docs/img/favicon-*.png +/docs/img/favicon.ico diff --git a/GNUmakefile b/GNUmakefile index 4242efa..3feeca9 100644 --- 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 new file mode 100644 index 0000000..196e1bb --- /dev/null +++ b/docs/img/GNUmakefile @@ -0,0 +1,16 @@ +SIZES := 32 128 152 167 180 192 196 +PNGS := $(foreach size,$(SIZES),favicon-$(size).png) +TARGETS := $(PNGS) favicon.ico + +.PHONY: all +all: $(TARGETS) + +.PHONY: clean +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 new file mode 100644 index 0000000..9299fe3 Binary files /dev/null and b/docs/img/cuddlyferris.png differ