Mercurial > cpdt > repo
diff 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 |
line wrap: on
line diff
--- a/Makefile Mon Sep 08 12:22:22 2008 -0400 +++ b/Makefile Mon Sep 08 12:42:57 2008 -0400 @@ -27,7 +27,7 @@ doc: latex/cpdt.dvi latex/cpdt.pdf html latex/cpdt.tex: Makefile $(VS) - cd src ; coqdoc --latex $(VS_DOC) \ + cd src ; coqdoc --latex -s $(VS_DOC) \ -p "\usepackage{url}" \ -p "\title{Certified Programming with Dependent Types}" \ -p "\author{Adam Chlipala}" \