PAPERS += holtmann/holtmann.dvi

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