Mercurial > cpdt > repo
comparison Makefile @ 503:929c12a95b87
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 |