Mercurial > cpdt > repo

comparison Makefile @ 307:d2cb78f54454

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished 2011 pass through Intro
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Aug 2011 14:41:49 -0400
parents a419a60e5ff6
children 4cb3ba8604bc
comparison
equal deleted inserted replaced
306:a419a60e5ff6 307:d2cb78f54454
7 MODULES := $(MODULES_NODOC) $(MODULES_DOC) 7 MODULES := $(MODULES_NODOC) $(MODULES_DOC)
8 VS := $(MODULES:%=src/%.v) 8 VS := $(MODULES:%=src/%.v)
9 VS_DOC := $(MODULES_DOC:%=%.v) 9 VS_DOC := $(MODULES_DOC:%=%.v)
10 TEMPLATES := $(MODULES_CODE:%=templates/%.v) 10 TEMPLATES := $(MODULES_CODE:%=templates/%.v)
11 11
12 .PHONY: coq clean doc html templates install cpdt.tgz 12 .PHONY: coq clean doc html templates install cpdt.tgz pdf
13 13
14 coq: Makefile.coq 14 coq: Makefile.coq
15 $(MAKE) -f Makefile.coq 15 $(MAKE) -f Makefile.coq
16 16
17 Makefile.coq: Makefile $(VS) 17 Makefile.coq: Makefile $(VS)
58 58
59 install: cpdt.tgz latex/cpdt.pdf html 59 install: cpdt.tgz latex/cpdt.pdf html
60 cp cpdt.tgz staging/ 60 cp cpdt.tgz staging/
61 cp latex/cpdt.pdf staging/ 61 cp latex/cpdt.pdf staging/
62 cp -R html staging/ 62 cp -R html staging/
63 rsync -az --exclude '*~' staging/* schizomaniac.net:sites/chlipala/adam/cpdt/ 63 rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/
64
65 pdf:
66 evince latex/cpdt.pdf&