David Odin <[EMAIL PROTECTED]> writes:

[...]

> > - move doc to -devel, removed doc COPYING

it wins 150K which is in basesystem. For basesystem packages, documentation
should be minimal, even worse for unneeded stuff.

> > 
>   Why ? According to the GPL/LGPL itself:
> 

[...]

>  I know this is somewhat tedious to have many copy of this file (one for each
> package), but isn't it the law?

du -cs $(grep -l 'GNU GENERAL PUBLIC LICENSE' /usr/share/doc/*/COPYING)
4300

I think these may be unnecessary. debian creates a COPYRIGHT file in doc that
says to look at /usr/share/doc/licence/GPL (or something like this)

if we really wanna be childish, we have to put the licence everywhere, even in
-devel, so what?

Reply via email to