diff --git a/doc/web/Makefile b/doc/web/Makefile index 37717abfa..1fbcd37d2 100644 --- a/doc/web/Makefile +++ b/doc/web/Makefile @@ -4,13 +4,16 @@ WOK:=$(HOME)/projects/wok.git/wok all: comics: ../../testresults.txt -# copy some static files - cp ../dosage.1.html ../icon/favicon.ico $(HOMEPAGE) # regenerate comic pages rm -f content/comics/*.md env PYTHONPATH=../.. ./mkcomics.py $< content -gen: +media/favicon.ico: ../icon/favicon.ico + cp $< $@ + +gen: media/favicon.ico +# copy some static files + cp ../dosage.1.html $(HOMEPAGE) $(WOK) -v serve: diff --git a/doc/web/media/favicon.ico b/doc/web/media/favicon.ico new file mode 100644 index 000000000..79d8e194a Binary files /dev/null and b/doc/web/media/favicon.ico differ