# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1438813199 14400
# Node ID d53c077a630c3ac6097c89e34c271169607384ff
# Parent  148f3ab2b5d66eeba34f93f9616b2363900e17e2
Make exercises build again

diff -r 148f3ab2b5d6 -r d53c077a630c Makefile
--- 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