ignore dvi file in proposal dir