Bug#183860: Many texi files under GFDL use texinfo.tex under GPL

[Anthony DeRobertis <asd@suespammers.org>]

Many (all?) GNU texinfo manuals that are licensed under the GFDL do an:

	\input texinfo

According to the comments at the top of texinfo.tex, texinfo is 
licensed under the GPL, version 2 or later.

Since the GPL and GFDL aren't compatible, I think this may be a license 
violation. Could you please clarify?

Thank you for your time.