

# enables user to display result of a compilation to dvi

dvitool $1.dvi
