diff Makefile @ 538:d53c077a630c

Make exercises build again
author Adam Chlipala <adam@chlipala.net>
date Wed, 05 Aug 2015 18:19:59 -0400
parents d65e9c1c9041
children 306539f29eea
line wrap: on
line diff
--- a/Makefile	Wed Aug 05 18:10:08 2015 -0400
+++ b/Makefile	Wed Aug 05 18:19:59 2015 -0400
@@ -73,6 +73,6 @@
 	evince latex/cpdt.pdf&
 
 latex/exercises.pdf: Makefile src/Exercises.v
-	coqc -I src src/Exercises
-	coqdoc --latex -s src/Exercises.v -o latex/exercises.tex
+	coqc -R src Cpdt src/Exercises
+	$(COQDOC) --latex -s src/Exercises.v -o latex/exercises.tex
 	cd latex ; pdflatex exercises