Mercurial > cpdt > repo

comparison book/Makefile @ 8:7ac7f922e78e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First cut at Intro done
author Adam Chlipala <adamc@hcoop.net>
date Mon, 01 Sep 2008 10:25:40 -0400
parents aa32e9f63da0
children
comparison
equal deleted inserted replaced
7:6cc7a8fd4a8c 8:7ac7f922e78e
19 clean:: Makefile.coq 19 clean:: Makefile.coq
20 make -f Makefile.coq clean 20 make -f Makefile.coq clean
21 rm -f Makefile.coq .depend $(GLOBALS) \ 21 rm -f Makefile.coq .depend $(GLOBALS) \
22 latex/*.sty latex/cpdt.* 22 latex/*.sty latex/cpdt.*
23 23
24 doc: latex/cpdt.dvi html 24 doc: latex/cpdt.dvi latex/cpdt.pdf 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}" -toc \ 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 ; latex cpdt 32 cd latex ; latex cpdt ; latex cpdt
33 33
34 latex/cpdt.pdf: latex/cpdt.dvi
35 cd latex ; pdflatex cpdt
36
34 html: $(VS) 37 html: $(VS)
35 cd src ; coqdoc $(VS_DOC) -toc \ 38 cd src ; coqdoc $(VS_DOC) -toc \
36 --glob-from ../$(GLOBALS) \ 39 --glob-from ../$(GLOBALS) \
37 -d ../html 40 -d ../html
38 41