Mercurial > cpdt > repo

diff Makefile @ 302:7b38729be069

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tweak mark-up to support coqdoc 8.3
author Adam Chlipala <adam@chlipala.net>
date Mon, 17 Jan 2011 15:12:30 -0500
parents b441010125d4
children 690796f4690d
line wrap: on
line diff
--- a/Makefile	Mon Jan 17 11:42:09 2011 -0500
+++ b/Makefile	Mon Jan 17 15:12:30 2011 -0500
@@ -37,7 +37,7 @@
 		-o ../latex/cpdt.tex
 
 latex/%.tex: src/%.v src/%.glob
-	cd src ; coqdoc --interpolate --latex -s \
+	cd src ; coqdoc --interpolate --latex \
 		-p "\usepackage{url,amsmath,amssymb}" \
 		$*.v -o ../latex/$*.tex