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}" \