Bug#183860: Just extra info.
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.