comparison 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
comparison
equal deleted inserted replaced
537:148f3ab2b5d6 538:d53c077a630c
71 71
72 pdf: 72 pdf:
73 evince latex/cpdt.pdf& 73 evince latex/cpdt.pdf&
74 74
75 latex/exercises.pdf: Makefile src/Exercises.v 75 latex/exercises.pdf: Makefile src/Exercises.v
76 coqc -I src src/Exercises 76 coqc -R src Cpdt src/Exercises
77 coqdoc --latex -s src/Exercises.v -o latex/exercises.tex 77 $(COQDOC) --latex -s src/Exercises.v -o latex/exercises.tex
78 cd latex ; pdflatex exercises 78 cd latex ; pdflatex exercises