view doc/Makefile @ 1227:1d8fba74e7f5

Iflow working with a UNION
author Adam Chlipala <adamc@hcoop.net>
date Sun, 11 Apr 2010 16:06:16 -0400
parents a6159d0940f0
children
line wrap: on
line source
PAPERS=manual

FIGURES=

all: $(PAPERS:%=%.dvi) $(PAPERS:%=%.ps) $(PAPERS:%=%.pdf) 

%.dvi: %.tex $(FIGURES:%=%.eps)
	latex $<
	latex $<

%.ps: %.dvi
	dvips $< -o $@

%.pdf: %.dvi $(FIGURES:%=%.pdf)
	pdflatex $(<:%.dvi=%)

%.pdf: %.eps
	epstopdf $<

clean:
	rm -f *.aux *.bbl *.blg *.dvi *.log *.pdf *.ps

.PHONY: all clean