TEX=olatex
DVIPS=dvips

TEX_FILES= \
    Inside.tex decl.comp.tex etiquette.tex \
    imperative.tex interface.tex overview.tex parser.tex \
    pipe.comp.tex rewrite.tex structure.tex nonground.tex \
    title.block relation.tex carg.tex backtrack.tex scc.tex \
    seminaive.tex lazy.eval.tex solvers.tex index.tex \
    unify.tex agg.tex server.tex cplus.tex memory.tex

all:    Inside.dvi

.SUFFIXES: .dvi .tex .ps

.tex.dvi:
	$(TEX) $*.tex

.dvi.ps:
	$(DVIPS) -f $*.dvi > $*.ps

Inside.dvi: $(TEX_FILES)

Inside.ps: Inside.dvi

clean:
	rm -f *.log *.dvi Inside.ps