Processing of dvi files