annotate doc/Makefile @ 1366:1595a738e4e9

JavaScript compilation of time comparison; fix lexing of XML that includes open parens
author Adam Chlipala <adam@chlipala.net>
date Fri, 24 Dec 2010 18:55:13 -0500
parents a6159d0940f0
children
rev   line source
adamc@524 1 PAPERS=manual
adamc@524 2
adamc@524 3 FIGURES=
adamc@524 4
adamc@524 5 all: $(PAPERS:%=%.dvi) $(PAPERS:%=%.ps) $(PAPERS:%=%.pdf)
adamc@524 6
adamc@524 7 %.dvi: %.tex $(FIGURES:%=%.eps)
adamc@524 8 latex $<
adamc@524 9 latex $<
adamc@524 10
adamc@524 11 %.ps: %.dvi
adamc@524 12 dvips $< -o $@
adamc@524 13
adamc@524 14 %.pdf: %.dvi $(FIGURES:%=%.pdf)
adamc@524 15 pdflatex $(<:%.dvi=%)
adamc@524 16
adamc@524 17 %.pdf: %.eps
adamc@524 18 epstopdf $<
adamc@524 19
adamc@524 20 clean:
adamc@524 21 rm -f *.aux *.bbl *.blg *.dvi *.log *.pdf *.ps
adamc@524 22
adamc@524 23 .PHONY: all clean