Bug#183860: RMS's comment on this bug is mostly irrelevant. :-/
On Wed, Dec 24, 2003 at 08:01:01PM -0500, Nathanael Nerode wrote:
> Attempt to clarify again:
> 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 that means they can't
> be distributed.
That certainly applies to *.dvi, but AFAICS none of the *-doc packages
install them. *.info is build with makeinfo which ignores texinfo.tex
completely (doesn't even try to open it), so those are OK - they are
not derived from texinfo.tex at all.
IOW, Debian packages happen to avoid that particular trap. Upstream ones
do not, though - make all _will_ produce illegal-to-distribute files.