Mercurial > cpdt > repo

comparison Makefile @ 226:9d0b9577f8b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
First 8.2 release
author Adam Chlipala <adamc@hcoop.net>
date Mon, 16 Nov 2009 13:27:34 -0500
parents dbac52f5bce1
children d8c54a25c81f
comparison
equal deleted inserted replaced
225:19902d0b6622 226:9d0b9577f8b1
43 43
44 latex/%.dvi: latex/%.tex 44 latex/%.dvi: latex/%.tex
45 cd latex ; latex $* ; latex $* 45 cd latex ; latex $* ; latex $*
46 46
47 latex/%.pdf: latex/%.dvi 47 latex/%.pdf: latex/%.dvi
48 cd latex ; pdflatex $* 48 cd latex ; pdflatex $* ; pdflatex $*
49 49
50 html: Makefile $(VS) src/toc.html 50 html: Makefile $(VS) src/toc.html
51 mkdir -p html 51 mkdir -p html
52 cd src ; coqdoc --interpolate $(VS_DOC) \ 52 cd src ; coqdoc --interpolate $(VS_DOC) \
53 -d ../html 53 -d ../html
66 66
67 install: cpdt.tgz latex/cpdt.pdf html 67 install: cpdt.tgz latex/cpdt.pdf html
68 cp cpdt.tgz staging/ 68 cp cpdt.tgz staging/
69 cp latex/cpdt.pdf staging/ 69 cp latex/cpdt.pdf staging/
70 cp -R html staging/ 70 cp -R html staging/
71 # rsync -az --exclude '*~' staging/* bowser.eecs.harvard.edu:public_html/cpdt/book/ 71 rsync -az --exclude '*~' staging/* schizomaniac.net:sites/chlipala/adam/cpdt/
72 rsync -az --exclude '*~' staging/* ssh.hcoop.net:sites/chlipala/adam/cpdt/