# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1221330914 14400
# Node ID 7021e94dbbec55dba696a8e6ba3b5dd1a8834479
# Parent  d45ba7e9b266422f6d1135f6e56880f0688a8a35
Fix cpdt.tgz generation

diff -r d45ba7e9b266 -r 7021e94dbbec Makefile
--- 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