comparison Makefile @ 370:549d604c3d16

Move exercises out of mainline book
author Adam Chlipala <adam@chlipala.net>
date Fri, 02 Mar 2012 09:58:00 -0500
parents 3322367e955d
children d5112c099fbf
comparison
equal deleted inserted replaced
369:4550dedad73a 370:549d604c3d16
58 cp -R html staging/ 58 cp -R html staging/
59 rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/ 59 rsync -az --exclude '*~' staging/* chlipala.net:sites/chlipala/adam/cpdt/
60 60
61 pdf: 61 pdf:
62 evince latex/cpdt.pdf& 62 evince latex/cpdt.pdf&
63
64 latex/exercises.pdf: Makefile src/Exercises.v
65 coqc -I src src/Exercises
66 coqdoc --latex -s src/Exercises.v -o latex/exercises.tex
67 cd latex ; pdflatex exercises