Bug#280803: libgcc1: contains non-free GNU FDL

[sandals@crustytoothpaste.ath.cx (Brian M. Carlson)]

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

Matthias Klose <doko@cs.tu-berlin.de> 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.