set target web as phony

2016-09-26 21:06:17 +01:00 · 2016-09-26 21:06:17 +01:00 · 3cc080031c
commit 3cc080031c
parent 3895385a28
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -15,4 +15,4 @@ clean:
 	$(OCB) -clean
 	rm -f src/*.{cmx,cmi,o} *.{cmx,cmi,o}

-.PHONY: doc
+.PHONY: web doc