annotate doc/Makefile @ 1120:74f2eb3b0606

Basis.debug; more restrictive type for Basis.form; weaken definition of polymorphic-ness for especialization
author Adam Chlipala <adamc@hcoop.net>
date Thu, 07 Jan 2010 14:02:58 -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