Mercurial > cpdt > repo

comparison book/Makefile @ 5:aa32e9f63da0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More of Intro
author Adam Chlipala <adamc@hcoop.net>
date Fri, 29 Aug 2008 17:20:57 -0400
parents f913d32a49e4
children 7ac7f922e78e
comparison
equal deleted inserted replaced
4:f913d32a49e4 5:aa32e9f63da0
23 23
24 doc: latex/cpdt.dvi html 24 doc: latex/cpdt.dvi html
25 25
26 latex/cpdt.tex: $(VS) 26 latex/cpdt.tex: $(VS)
27 cd src ; coqdoc --latex $(VS_DOC) \ 27 cd src ; coqdoc --latex $(VS_DOC) \
28 -p "\usepackage{url}" \ 28 -p "\usepackage{url}" -toc \
29 -o ../latex/cpdt.tex 29 -o ../latex/cpdt.tex
30 30
31 latex/cpdt.dvi: latex/cpdt.tex 31 latex/cpdt.dvi: latex/cpdt.tex
32 cd latex ; latex cpdt 32 cd latex ; latex cpdt ; latex cpdt
33 33
34 html: $(VS) 34 html: $(VS)
35 cd src ; coqdoc $(VS_DOC) \ 35 cd src ; coqdoc $(VS_DOC) -toc \
36 --glob-from ../$(GLOBALS) \ 36 --glob-from ../$(GLOBALS) \
37 -d ../html 37 -d ../html
38 38
39 dvi: 39 dvi:
40 xdvi latex/cpdt 40 xdvi latex/cpdt