pubs: Make the correct dvi file in P82.