Russ Allbery wrote:
It looks like the issue may now become irrelevant. Upstream texinfo just added the following:
Yep, this issue is totally going away due to this. Whee. :-)I guess bugs can *eventually* be filed against packages using old versions of texinfo, but that should probably wait until months have passed and most are 'auto-fixed'.
% As a special exception, when this file is read by TeX when processing % a Texinfo source document, you may use the result without % restriction. (This has been our intent since Texinfo was invented.)
I believe this change was made due to the issue being brought up on the GCC list some time before, and being forwarded up to texinfo.
:-)