annotate doc/Makefile @ 850:1c2f335297b7

Fix a variable capture bug in nested JavaScript; some more list stuff
author Adam Chlipala <adamc@hcoop.net>
date Tue, 16 Jun 2009 17:52:44 -0400
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