Add favicon.

[ci skip]
2013-03-29 11:13:55 +01:00 · 2013-03-29 11:13:55 +01:00 · d722738ad0
parent 82d6412736
commit d722738ad0
2 changed files with 6 additions and 3 deletions
--- 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:
--- a/doc/web/media/favicon.ico
+++ b/doc/web/media/favicon.ico