Mercurial > cpdt > repo
comparison Makefile @ 39:fd18331e5c0b
Publishing to the web
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Fri, 12 Sep 2008 17:18:11 -0400 |
parents | 65314ca099ed |
children | d45ba7e9b266 |
comparison
equal
deleted
inserted
replaced
38:95e24b629ad9 | 39:fd18331e5c0b |
---|---|
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 | 11 .PHONY: coq clean doc dvi html templates install |
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) |
38 cd latex ; latex cpdt ; latex cpdt | 38 cd latex ; latex cpdt ; latex cpdt |
39 | 39 |
40 latex/cpdt.pdf: latex/cpdt.dvi | 40 latex/cpdt.pdf: latex/cpdt.dvi |
41 cd latex ; pdflatex cpdt | 41 cd latex ; pdflatex cpdt |
42 | 42 |
43 html: Makefile $(VS) | 43 html: Makefile $(VS) src/toc.html |
44 cd src ; coqdoc $(VS_DOC) -toc \ | 44 cd src ; coqdoc $(VS_DOC) \ |
45 --glob-from ../$(GLOBALS) \ | 45 --glob-from ../$(GLOBALS) \ |
46 -d ../html | 46 -d ../html |
47 cp src/toc.html html/ | |
47 | 48 |
48 dvi: | 49 dvi: |
49 xdvi latex/cpdt | 50 xdvi latex/cpdt |
50 | 51 |
51 templates: $(TEMPLATES) | 52 templates: $(TEMPLATES) |
52 | 53 |
53 templates/%.v: src/%.v | 54 templates/%.v: src/%.v |
54 ocaml tools/make_template.ml <$< >$@ | 55 ocaml tools/make_template.ml <$< >$@ |
56 | |
57 cpdt.tgz: | |
58 hg archive -t tgz $@ | |
59 | |
60 install: cpdt.tgz latex/cpdt.pdf html | |
61 cp cpdt.tgz staging/ | |
62 cp latex/cpdt.pdf staging/ | |
63 cp -R html staging/ | |
64 rsync -az --exclude '*~' staging/* ssh.hcoop.net:sites/chlipala/adam/cpdt/ |