Re: [pdftex] Possible bug in pdftexinfo.tex

[karl]

    My belief is that you should just use the texinfo.tex from the texinfo 4.0
    distribution (or later), 

Right.

    and use texi2dvi --pdf.  

Or run
  pdftex filename.texi
(modulo macro expansion or other issues that texi2dvi can affect.)

    It is the concept of pdftexinfo.tex that is out of date, I believe.

Right.