PAPERS += pratt/pratt.dvi

## Add any additional .tex or .eps files below:
pratt/pratt.dvi pratt/pratt-proc.dvi: \
	pratt/pratt.tex \
	pratt/pratt-abstract.tex