comparison Makefile @ 25:26ad686e68f2

Real chapter titles; describe how to get Proof General to use command-line flags
author Adam Chlipala <adamc@hcoop.net>
date Mon, 08 Sep 2008 12:42:57 -0400
parents aba1a37394c4
children 65314ca099ed
comparison
equal deleted inserted replaced
24:aba1a37394c4 25:26ad686e68f2
25 latex/*.sty latex/cpdt.* templates/*.v 25 latex/*.sty latex/cpdt.* templates/*.v
26 26
27 doc: latex/cpdt.dvi latex/cpdt.pdf html 27 doc: latex/cpdt.dvi latex/cpdt.pdf html
28 28
29 latex/cpdt.tex: Makefile $(VS) 29 latex/cpdt.tex: Makefile $(VS)
30 cd src ; coqdoc --latex $(VS_DOC) \ 30 cd src ; coqdoc --latex -s $(VS_DOC) \
31 -p "\usepackage{url}" \ 31 -p "\usepackage{url}" \
32 -p "\title{Certified Programming with Dependent Types}" \ 32 -p "\title{Certified Programming with Dependent Types}" \
33 -p "\author{Adam Chlipala}" \ 33 -p "\author{Adam Chlipala}" \
34 -p "\iffalse" \ 34 -p "\iffalse" \
35 -o ../latex/cpdt.tex 35 -o ../latex/cpdt.tex