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

[Henning Makholm <henning@makholm.net>]

Scripsit Nathanael Nerode <neroden@twcny.rr.com>

> The issue is entirely about generated files which contain elements of
> a GFDL'ed texinfo file *and* elements of the GPL'ed texinfo.tex; such
> files are presumably derivative works of both,

But which files are that? It's certainly not the .dvi output; it
contain no elements of the texinfo implementation anymore than it
contains elements of the underlying TeX interpereter.

-- 
Henning Makholm               "Hele toget raslede imens Sjælland fór forbi."