Mercurial > cpdt > repo

changeset 42:7021e94dbbec

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix cpdt.tgz generation
author Adam Chlipala <adamc@hcoop.net>
date Sat, 13 Sep 2008 14:35:14 -0400
parents d45ba7e9b266
children 9bdbc43d510e
files Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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