diff Makefile @ 208:b9e9ff52913c

Port InductiveTypes
author Adam Chlipala <adamc@hcoop.net>
date Mon, 09 Nov 2009 11:09:50 -0500
parents 3f4576f15130
children b149a07b9b5b
line wrap: on
line diff
--- a/Makefile	Fri Nov 06 17:10:27 2009 -0500
+++ b/Makefile	Mon Nov 09 11:09:50 2009 -0500
@@ -25,6 +25,7 @@
 	make -f Makefile.coq clean
 	rm -f Makefile.coq .depend $(GLOBALS) cpdt.tgz \
 		latex/*.sty latex/cpdt.* templates/*.v
+	rm -f *.aux *.dvi *.log
 
 doc: latex/cpdt.dvi latex/cpdt.pdf html
 
@@ -36,11 +37,14 @@
 		-p "\iffalse" \
 		-o ../latex/cpdt.tex
 
-latex/cpdt.dvi: latex/cpdt.tex
-	cd latex ; latex cpdt ; latex cpdt
+latex/%.tex: src/%.v
+	coqdoc --interpolate --latex -s $< -o $@
 
-latex/cpdt.pdf: latex/cpdt.dvi
-	cd latex ; pdflatex cpdt
+latex/%.dvi: latex/%.tex
+	latex $< ; latex $<
+
+latex/%.pdf: latex/%.dvi
+	pdflatex $<
 
 html: Makefile $(VS) src/toc.html
 	mkdir -p html