annotate doc/Makefile @ 688:829887ca47a6

Detect serialization failures
author Adam Chlipala <adamc@hcoop.net>
date Thu, 02 Apr 2009 13:31:13 -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