On Dec 23, 2003, at 13:21, Florian Weimer wrote:
Huh? Why do you think that running a document written in Texinfo through a Texinfo interpreter makes the document a derivative work of a (specific) Texinfo interpreter?
Because that's not what we're doing. We're running texinfo.tex and foo.texi through the Τεχ interpreter. I'm pretty sure various portions of texinfo.tex get copied to the output.
I thus base it on http://www.gnu.org/licenses/gpl-faq.html#GPLOutput