Le Sat, Aug 13, 2011 at 01:14:31PM +0900, Charles Plessy a écrit : > > here is a patch that updates §9.10: now that doc-base uses triggers, I think > it > is better to simply recommend to install the control files in > /usr/share/doc-base/, instead of recommending the use of install-doc.
Dear Robert (maintainer of doc-base) and everybody, I have proposed the patch below to the Debian Policy in August this year, to stop recommending the direct use of install-docs for registering documents to doc-base, and wonder if you agree or would second it. Have a nice day, -- Charles Plessy, Tsurumi, Kanagawa, Japan > >>From 470380d2bc7c9740a006c298830350f68969a841 Mon Sep 17 00:00:00 2001 > From: Charles Plessy <ple...@debian.org> > Date: Sat, 13 Aug 2011 13:03:30 +0900 > Subject: [PATCH] Do not recommend to call install-docs, as it is triggered > automatically. > > --- > policy.sgml | 8 +++++--- > 1 files changed, 5 insertions(+), 3 deletions(-) > > diff --git a/policy.sgml b/policy.sgml > index bb424ed..e841bdf 100644 > --- a/policy.sgml > +++ b/policy.sgml > @@ -7496,9 +7496,11 @@ exec /usr/lib/foo/foo "$@" > package that provides online documentation (other than just > manual pages) to register these documents with > <package>doc-base</package> by installing a > - <package>doc-base</package> control file via the > - <prgn/install-docs/ script at installation time and > - de-register the manuals again when the package is removed. > + <package>doc-base</package> control file in > + <file>/usr/share/doc-base/</file>.<footnote>Since version 0.8.11, > + <package>doc-base</package> uses <package>dpkg</package> triggers > + to call the <prgn>install-docs</prgn> script at installation time and > + de-register the manuals again when the package is removed.</footnote> > </p> > <p> > Please refer to the documentation that comes with the > -- > 1.7.5.4 -- To UNSUBSCRIBE, email to debian-policy-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20111105035637.ga25...@plessy.org
