Ignoring .dvi files.