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.