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