diff Makefile @ 284:693897f8e0cb

PC comments for DataStruct
author Adam Chlipala <adam@chlipala.net>
date Fri, 05 Nov 2010 13:48:39 -0400
parents caa69851c78d
children b441010125d4
line wrap: on
line diff
--- a/Makefile	Fri Nov 05 11:36:36 2010 -0400
+++ b/Makefile	Fri Nov 05 13:48:39 2010 -0400
@@ -36,7 +36,7 @@
 		-p "\iffalse" \
 		-o ../latex/cpdt.tex
 
-latex/%.tex: src/%.v
+latex/%.tex: src/%.v src/%.glob
 	cd src ; coqdoc --interpolate --latex -s \
 		-p "\usepackage{url,amsmath,amssymb}" \
 		$*.v -o ../latex/$*.tex