Bug#183860: RMS's comment on this bug is mostly irrelevant. :-/
Scripsit Nathanael Nerode <email@example.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."