texi2dvi dvips.texi dvips -Ppdf -z -o dvips.ps dvips ps2pdf14 dvips.ps dvips.pdf Ah yes, of course. The bookmarks are lost, but the literal examples come out right, so I guess that wins. I regenerated dvips.pdf. Thanks.