Skip to content
Open
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1 +1,3 @@
/site/
/docs/img/favicon-*.png
/docs/img/favicon.ico
1 change: 1 addition & 0 deletions GNUmakefile
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
.PHONY: all

all:
$(MAKE) -C docs/img
mkdocs build
15 changes: 15 additions & 0 deletions docs/img/GNUmakefile
Original file line number Diff line number Diff line change
@@ -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 $@ $^
Binary file added docs/img/cuddlyferris.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.