view doc/Makefile @ 2083:9f65e2188d3c

MonoOpt: remove concatenation with empty string
author Adam Chlipala <adam@chlipala.net>
date Wed, 03 Dec 2014 21:21:37 -0500
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