ignore tex and dvi files