Bug#637614: §9.10: Do not recommend to call install-docs, as it is triggered.
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 Dpkg developers,
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. Since it is about the use of dpkg triggers, could you confirm that
the patch is correct, ideally by seconding it ? The maintainer of doc-base has
been contacted independantly.
Have a nice week-end,
-- Charles Plessy, Tsurumi, Kanagawa, Japan
> >>From 470380d2bc7c9740a006c298830350f68969a841 Mon Sep 17 00:00:00 2001
> From: Charles Plessy <email@example.com>
> Date: Sat, 13 Aug 2011 13:03:30 +0900
> Subject: [PATCH] Do not recommend to call install-docs, as it is triggered
> 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>
> Please refer to the documentation that comes with the
To UNSUBSCRIBE, email to debian-dpkg-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org