Mercurial > cpdt > repo

comparison Makefile @ 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 cb135b19adb8
comparison
equal deleted inserted replaced
41:d45ba7e9b266 42:7021e94dbbec
6 VS := $(MODULES:%=src/%.v) 6 VS := $(MODULES:%=src/%.v)
7 VS_DOC := $(MODULES_DOC:%=%.v) 7 VS_DOC := $(MODULES_DOC:%=%.v)
8 GLOBALS := .coq_globals 8 GLOBALS := .coq_globals
9 TEMPLATES := $(MODULES_CODE:%=templates/%.v) 9 TEMPLATES := $(MODULES_CODE:%=templates/%.v)
10 10
11 .PHONY: coq clean doc dvi html templates install 11 .PHONY: coq clean doc dvi html templates install cpdt.tgz
12 12
13 coq: Makefile.coq 13 coq: Makefile.coq
14 make -f Makefile.coq 14 make -f Makefile.coq
15 15
16 Makefile.coq: Makefile $(VS) 16 Makefile.coq: Makefile $(VS)