tex/texinfo.tex

[Graham Percival]

Do we have any patches to  tex/texinfo.tex  that aren't in the upstream 
version, other than the "straight quotes" stuff?  I've tried to merge 
the latest texinfo.tex (from GNU) with our own, in order to fix the 
@funindex problem.  I've tested it, and it appears to compile the docs 
correctly.  (no compile errors, straight quotes in docs, pdf and html 
looking fine, music glossay looks fine, and @funindex works)

This would result in the following patch; it looks ok to me, but I'm 
not confident about what I'm doing.  May I apply it?

texinfo.tex.patch
Description: Binary data