]> git.donarmstrong.com Git - debian/debian-policy.git/commit
projects / debian / debian-policy.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e369912) | patch
Recommendation for additional documentation
authorBill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
Fri, 8 May 2015 13:29:34 +0000 (15:29 +0200)
committerBill Allombert <Bill.Allombert@math.u-bordeaux1.fr>
Fri, 8 May 2015 13:29:34 +0000 (15:29 +0200)
commitde173daeaf26ba068bb7055e078d841e4ec47482
treed332823e768e665c1ea59edd70b1858475d79266tree | snapshot
parente369912eff1a2ff024668531cbd127ed48e61fcfcommit | diff
Recommendation for additional documentation

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
debian/changelog diff | blob | history
upgrading-checklist.sgml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.