Mercurial > cpdt > repo
changeset 538:d53c077a630c
Make exercises build again
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 05 Aug 2015 18:19:59 -0400 |
| parents | 148f3ab2b5d6 |
| children | 8dddcaaeb67a |
| files | Makefile |
| diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
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