Bug#183860: RMS's comment on this bug is mostly irrelevant. :-/

[Florian Weimer <fw@deneb.enyo.de>]

Nathanael Nerode wrote:

> Uh, right, except texinfo.tex isn't part of TeX.  TeX can't tell the 
> difference between it and the file which \include's it; it treats them 
> as part of one document. 

You can easily change that if you want.  After that, the Texinfo
implementation in TeX is, from a structural point of view,
indistinguishable from the C implementation (in makeinfo).

I still think that we have gross misunderstanding here of what
constitutes a derived worked.  So far, those who claim that there is a
copyright problem have not shown any example that would undermine their
claim that the DVI output is a derivative work of texinfo.tex.