Here's the patch. Thanks, I've checked that in along with (yucccch) pdftexi2dvi.
Could I ask you a favor and make a little patch for texinfo.txi to add pdftexi2dvi to the dir entries and mention it in the relevant node, and build the man page in doc/Makefile.am? I know it's easy, but I am buried right now. Thanks, Karl _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo [email protected] http://lists.gnu.org/mailman/listinfo/help-texinfo
