Mercurial > cpdt > repo

diff Makefile @ 206:3f4576f15130

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Revising for 8.2 through first big example
author Adam Chlipala <adamc@hcoop.net>
date Fri, 06 Nov 2009 16:44:06 -0500
parents f05514cc6c0d
children b9e9ff52913c
line wrap: on
line diff
--- a/Makefile	Fri Nov 06 12:15:05 2009 -0500
+++ b/Makefile	Fri Nov 06 16:44:06 2009 -0500
@@ -29,7 +29,7 @@
 doc: latex/cpdt.dvi latex/cpdt.pdf html
 
 latex/cpdt.tex: Makefile $(VS)
-	cd src ; coqdoc --latex -s $(VS_DOC) \
+	cd src ; coqdoc --interpolate --latex -s $(VS_DOC) \
 		-p "\usepackage{url}" \
 		-p "\title{Certified Programming with Dependent Types}" \
 		-p "\author{Adam Chlipala}" \
@@ -44,7 +44,7 @@
 
 html: Makefile $(VS) src/toc.html
 	mkdir -p html
-	cd src ; coqdoc $(VS_DOC) \
+	cd src ; coqdoc --interpolate $(VS_DOC) \
 		--glob-from ../$(GLOBALS) \
 		-d ../html
 	cp src/toc.html html/