PC comments for DataStruct

921fb3f1 · Adam Chlipala · 6c2f377c · 921fb3f1 · 921fb3f1
Commit 921fb3f1 authored Nov 05, 2010 by Adam Chlipala
Expand all Show whitespace changes
Inline Side-by-side

Showing with 31 additions and 17 deletions

Makefile Makefile +1 -1

DataStruct.v src/DataStruct.v +30 -16

No files found.
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ latex/cpdt.tex: Makefile $(VS)
 		-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

--- a/src/DataStruct.v
+++ b/src/DataStruct.v