(TEXI2PDF): Change to texi2dvi --pdf.