Mercurial > cpdt > repo
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 |