Skip to content

C
cpdt
Commit 8726edeb authored by Adam Chlipala's avatar Adam Chlipala
Browse files
Options

Make exercises build again

parent fb0ecce6
Show whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
Makefile
View file @ 8726edeb
......@@ -73,6 +73,6 @@ pdf:
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
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment