pdftexinfo.tex is outdated

[Kurt Hornik <Kurt.Hornik@ci.tuwien.ac.at>]

Package: tetex-extra
Version: 1.0-8

The disttributed version of pdftexinfo.tex (1999-03-26.17) is outdated
and should most likely be replaced by texinfo.tex (1999-09-25.10) as
contained in the texinfo package.

Karl Berry has fixed a lot of PDFtexinfo related problems prior to the
texinfo 4.0 release.

Thanks
-kh