Mercurial > cpdt > repo
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