The dvidvi program converts a dvi file into another dvi file, with perhaps certain changes.