Mercurial > cpdt > repo
comparison Makefile @ 536:d65e9c1c9041
Touch-ups in 8.4
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 05 Aug 2015 18:07:57 -0400 |
parents | ed829eaa91b2 |
children | d53c077a630c |
comparison
equal
deleted
inserted
replaced
535:dac7a2705b00 | 536:d65e9c1c9041 |
---|---|
26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v | 26 rm -f Makefile.coq .depend cpdt.tgz templates/*.v |
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 COQDOC = coqdoc -R . Cpdt | |
32 | |
31 latex/%.v.tex: Makefile src/%.v src/%.glob | 33 latex/%.v.tex: Makefile src/%.v src/%.glob |
32 cd src ; coqdoc --interpolate --latex --body-only -s \ | 34 cd src ; $(COQDOC) --interpolate --latex --body-only -s \ |
33 $*.v -o ../latex/$*.v.tex | 35 $*.v -o ../latex/$*.v.tex |
34 | 36 |
35 latex/cpdt.pdf: latex/cpdt.tex $(TEX) latex/cpdt.bib | 37 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 | 38 cd latex ; pdflatex cpdt ; pdflatex cpdt ; bibtex cpdt ; makeindex cpdt ; pdflatex cpdt ; pdflatex cpdt |
37 | 39 |
38 latex/%.pdf: latex/%.tex latex/cpdt.bib | 40 latex/%.pdf: latex/%.tex latex/cpdt.bib |
39 cd latex ; pdflatex $* ; pdflatex $* ; bibtex $* ; makeindex $* ; pdflatex $* ; pdflatex $* | 41 cd latex ; pdflatex $* ; pdflatex $* ; bibtex $* ; makeindex $* ; pdflatex $* ; pdflatex $* |
40 | 42 |
41 html: Makefile $(VS) src/toc.html | 43 html: Makefile $(VS) src/toc.html |
42 mkdir -p html | 44 mkdir -p html |
43 cd src ; coqdoc --interpolate --no-externals $(VS_DOC) \ | 45 cd src ; $(COQDOC) --interpolate --no-externals $(VS_DOC) \ |
44 -d ../html | 46 -d ../html |
45 cp src/toc.html html/ | 47 cp src/toc.html html/ |
46 | 48 |
47 templates: $(TEMPLATES) | 49 templates: $(TEMPLATES) |
48 | 50 |