Bug#183860: RMS's comment on this bug is mostly irrelevant. :-/
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.