comparison doc/Makefile @ 524:a6159d0940f0

Start of manual
author Adam Chlipala <adamc@hcoop.net>
date Thu, 27 Nov 2008 14:38:53 -0500
parents
children
comparison
equal deleted inserted replaced
523:612001c39ed6 524:a6159d0940f0
1 PAPERS=manual
2
3 FIGURES=
4
5 all: $(PAPERS:%=%.dvi) $(PAPERS:%=%.ps) $(PAPERS:%=%.pdf)
6
7 %.dvi: %.tex $(FIGURES:%=%.eps)
8 latex $<
9 latex $<
10
11 %.ps: %.dvi
12 dvips $< -o $@
13
14 %.pdf: %.dvi $(FIGURES:%=%.pdf)
15 pdflatex $(<:%.dvi=%)
16
17 %.pdf: %.eps
18 epstopdf $<
19
20 clean:
21 rm -f *.aux *.bbl *.blg *.dvi *.log *.pdf *.ps
22
23 .PHONY: all clean