[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#106073: recommend to install <package> documentation into /usr/share/doc/<package>/



On Wed, Apr 29, 2015 at 11:56:41AM +0200, Bill Allombert wrote:
> Seconded. I suggest we move forward with this and that I apply it to master
> next week, if Russ is still OK with this.

Done. This is the summary:

  * Policy: [12.3] recommend to ship additional documentation for package 'pkg'
    in a separate package 'pkg-doc' and install it into /usr/share/doc/pkg.
    Wording:  Russ Allbery <rra@debian.org>
    Seconded: Bill Allombert <ballombe@debian.org>
    Seconded: Charles Plessy <plessy@debian.org>
    Closes: #106073

Cheers,
-- 
Bill. <ballombe@debian.org>

Imagine a large red swirl here. 


Reply to: