diff Makefile @ 42:7021e94dbbec

Fix cpdt.tgz generation
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 14:35:14 -0400
parents d45ba7e9b266
children cb135b19adb8
line wrap: on
line diff
--- a/Makefile	Sat Sep 13 14:31:51 2008 -0400
+++ b/Makefile	Sat Sep 13 14:35:14 2008 -0400
@@ -8,7 +8,7 @@
 GLOBALS       := .coq_globals
 TEMPLATES     := $(MODULES_CODE:%=templates/%.v)
 
-.PHONY: coq clean doc dvi html templates install
+.PHONY: coq clean doc dvi html templates install cpdt.tgz
 
 coq: Makefile.coq
 	make -f Makefile.coq