Mercurial > cpdt > repo

comparison Makefile @ 503:929c12a95b87

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add back in external LaTeX links
author Adam Chlipala <adam@chlipala.net>
date Sat, 09 Feb 2013 10:15:53 -0500
parents a95af5a59990
children 136d4b84eb96
comparison
equal deleted inserted replaced
502:7d2339cbd39c 503:929c12a95b87
27 cd latex; rm -f *.sty *.log *.aux *.dvi *.v.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out 27 cd latex; rm -f *.sty *.log *.aux *.dvi *.v.tex *.toc *.bbl *.blg *.idx *.ilg *.pdf *.ind *.out
28 28
29 doc: latex/cpdt.pdf html 29 doc: latex/cpdt.pdf html
30 30
31 latex/%.v.tex: Makefile src/%.v src/%.glob 31 latex/%.v.tex: Makefile src/%.v src/%.glob
32 cd src ; coqdoc --interpolate --latex --body-only -s --no-externals \ 32 cd src ; coqdoc --interpolate --latex --body-only -s \
33 $*.v -o ../latex/$*.v.tex 33 $*.v -o ../latex/$*.v.tex
34 34
35 latex/cpdt.pdf: latex/cpdt.tex $(TEX) latex/cpdt.bib 35 latex/cpdt.pdf: latex/cpdt.tex $(TEX) latex/cpdt.bib
36 cd latex ; pdflatex cpdt ; pdflatex cpdt ; bibtex cpdt ; makeindex cpdt ; pdflatex cpdt ; pdflatex cpdt 36 cd latex ; pdflatex cpdt ; pdflatex cpdt ; bibtex cpdt ; makeindex cpdt ; pdflatex cpdt ; pdflatex cpdt
37 37