delete .dvi files