#$Id: Makefile,v 1.5 2003/10/01 23:14:53 hchen Exp $
RERUN = "(There were undefined references|Rerun to get (cross-references|the bars) right)"
RERUNBIB = "No file.*\.bbl|Citation.*undefined"
PAPERTYPE = letter

tex = manual.tex
ps = $(tex:%.tex=%.ps)
pdf = $(tex:%.tex=%.pdf)

.PHONY : all clean veryclean

all : $(ps) $(pdf)

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

distclean : clean
	rm -f $(ps) $(pdf)

manual.dvi: manual.tex intro.tex install.tex start.tex highlevel.tex \
	lowlevel.tex fsa.tex discussion.tex

%.ps : %.dvi
	dvips -P cmz -t $(PAPERTYPE) -o $@ $<

%.dvi : %.tex
	latex $<
	egrep -c $(RERUNBIB) $(<:%.tex=%.log) && bibtex $(<:%.tex=%) && latex $<; true
	egrep $(RERUN) $(<:%.tex=%.log) && latex $<; true

%.pdf : %.tex
	pdflatex $<
