Hello Javier, On Wed, Feb 07 2018, Javier Serrano Polo wrote: > X-Debbugs-CC: aba@debian.org, ballombe@debian.org, > spwhitton@spwhitton.name, rra@debian.org This isn't needed. We all read the Policy mailing list. > Copyright information, like changelogs and manuals, is not technically > required by software. > > I propose this enhancement to section 12.5: > > Every package must be accompanied by a verbatim copy of its > copyright information and distribution license in the file > /usr/share/doc/package/copyright or > /usr/share/doc/source-copyright/copyright; the latter may not > be installed. [...] > > [...] and the first package Depends on the second. > Alternatively, /usr/share/doc/package may not exist if the > package Recommends source-copyright, which comes from the same > source. [...] > > Satisfied needs: > > 1. Option to not install documentation files. Could you expand on why this is worth doing? > Additional benefits: > > 1. Putting this information in a separate > architecture-independent > package reduces repository disk usage. I suspect it increases dak's workload, though, due to all the extra binary packages. > 2. It helps to solve the Multi-Arch file refcounting problem. I'm not aware of this; could you refer me to a description of the problem? Thanks. -- Sean Whitton
Attachment:
signature.asc
Description: PGP signature