The dvidvi program converts a dvi file into another dvi file,
perhaps with certain changes: select, rearrange, or scale pages;
arrange multiple pages from the input on one page in the output.