Mercurial > cpdt > repo
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 |