view doc/Makefile @ 1713:1b3f82b09bb0

Fix monoization of recursive variants
author Adam Chlipala <adam@chlipala.net>
date Mon, 16 Apr 2012 09:07:28 -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