Comment 16 for bug 20157

Message-ID: <email address hidden>
Date: Fri, 12 Nov 2004 04:09:57 +0000
From: <email address hidden> (Brian M. Carlson)
To: Matthias Klose <email address hidden>
Cc: <email address hidden>, "Brian M. Carlson" <email address hidden>,
 <email address hidden>
Subject: Re: Bug#280803: libgcc1: contains non-free GNU FDL

reassign 280803 gcc-4.0-doc
thanks, control, and have a nice day

Matthias Klose <email address hidden> writes:

> Brian M. Carlson writes:
>> Package: libgcc1
>> Version: 1:4.0-0pre0
>> Severity: serious
>>
>> The copyright file includes a copy of the GNU Free Documentation
>> License, which has been judged by debian-legal to be
>> non-free. Please remove the non-free material from the package or
>> move the package to non-free.
>
> I do not want to believe that debian-legal judges such nonsense,
> i.e. to distribute a licence file with a non DFSG license. It's
> clearly marked which license terms hold for the libgcc_s.so.1.
>
> Matthias
>

I apologize; I was imprecise. The licenses of license files are
irrelevant, but the licenses of documentation are not, and this bug
should rightly have been filed against gcc-4.0-doc, assuming that the
copyright file which is included in the libgcc1 package applies to
that package as well. Personally, I think only those licenses that
belong to a certain package should be in that package's copyright
file, but that's for someone else to argue. Anyone?

For the record, I did the following:

grep 'Free Documentation License' `find /usr/share/doc/ -name copyright`

and libgcc1 showed up.