Your message dated Fri, 20 Sep 2002 21:08:57 +0100
with message-id <[EMAIL PROTECTED]>
and subject line Bug#161672: dstooltk-doc: Docu saved to /usr/share/doc instead
of /usr/share
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 20 Sep 2002 19:47:53 +0000
>From [EMAIL PROTECTED] Fri Sep 20 14:47:53 2002
Return-path: <[EMAIL PROTECTED]>
Received: from moutvdom.kundenserver.de [195.20.224.200]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17sTkm-0004R5-00; Fri, 20 Sep 2002 14:47:53 -0500
Received: from [195.20.224.206] (helo=mrvdomng0.kundenserver.de)
by moutvdom.kundenserver.de with esmtp (Exim 3.35 #1)
id 17sTkl-0006OM-00
for [EMAIL PROTECTED]; Fri, 20 Sep 2002 21:47:51 +0200
Received: from [217.2.126.15] (helo=dstampfer.de)
by mrvdomng0.kundenserver.de with smtp (Exim 3.35 #1)
id 17sTkk-0006SJ-00
for [EMAIL PROTECTED]; Fri, 20 Sep 2002 21:47:51 +0200
Received: by dstampfer.de (sSMTP sendmail emulation); Fri, 20 Sep 2002 21:48:08
+0200
Date: Fri, 20 Sep 2002 21:48:08 +0200
From: Dennis Stampfer <[EMAIL PROTECTED]>
To: Debian Bug Tracking System <[EMAIL PROTECTED]>
Subject: dstooltk-doc: Docu saved to /usr/share/doc instead of /usr/share
Message-ID: <[EMAIL PROTECTED]>
Reply-To: [EMAIL PROTECTED]
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.3.23i
X-Reportbug-Version: 1.50
Sender: [EMAIL PROTECTED]
Delivered-To: [EMAIL PROTECTED]
Package: dstooltk-doc
Version: N/A; reported 2002-09-20
Severity: serious
Justification: Policy 13.3
Hi,
dstooltk-doc's documentation is saved in /usr/share/doc/dstooltk-doc
instead of /usr/share/dstooltk-doc:
13.3 Additional documentation
... Files in /usr/share/doc should not be referenced by any program,
and the system administrator should be able to delete them without
causing any programs to break. Any files that are referenced by
programs but are also useful as standalone documentation should be
installed under /usr/share/package/ with symbolic links from
/usr/share/doc/package/.
Please change serverity if I am wrong.
Regards,
Dennis
--
GUI? Das sind 10 xterms und ein Hintergrundbild!
GPG/PGP available at http://satanII.enemy.org/~seppy/gpg.asc
---------------------------------------
Received: (at 161672-done) by bugs.debian.org; 20 Sep 2002 20:09:01 +0000
>From [EMAIL PROTECTED] Fri Sep 20 15:09:01 2002
Return-path: <[EMAIL PROTECTED]>
Received: from gadolinium.btinternet.com [194.73.73.111]
by master.debian.org with esmtp (Exim 3.12 1 (Debian))
id 17sU5E-0005XM-00; Fri, 20 Sep 2002 15:09:01 -0500
Received: from host217-35-47-135.in-addr.btopenworld.com ([217.35.47.135]
helo=riva.lab.dotat.at)
by gadolinium.btinternet.com with esmtp (Exim 3.22 #8)
id 17sU5D-0001IA-00; Fri, 20 Sep 2002 21:08:59 +0100
Received: from cjwatson by riva.lab.dotat.at with local (Exim 3.35 #1 (Debian))
id 17sU5B-0006Y5-00; Fri, 20 Sep 2002 21:08:57 +0100
Date: Fri, 20 Sep 2002 21:08:57 +0100
From: Colin Watson <[EMAIL PROTECTED]>
To: [EMAIL PROTECTED], [EMAIL PROTECTED]
Subject: Re: Bug#161672: dstooltk-doc: Docu saved to /usr/share/doc instead of
/usr/share
Message-ID: <[EMAIL PROTECTED]>
References: <[EMAIL PROTECTED]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <[EMAIL PROTECTED]>
User-Agent: Mutt/1.4i
Sender: Colin Watson <[EMAIL PROTECTED]>
Delivered-To: [EMAIL PROTECTED]
On Fri, Sep 20, 2002 at 09:48:08PM +0200, Dennis Stampfer wrote:
> Package: dstooltk-doc
> Version: N/A; reported 2002-09-20
> Severity: serious
> Justification: Policy 13.3
>
> Hi,
>
> dstooltk-doc's documentation is saved in /usr/share/doc/dstooltk-doc
> instead of /usr/share/dstooltk-doc:
>
> 13.3 Additional documentation
> ... Files in /usr/share/doc should not be referenced by any program,
> and the system administrator should be able to delete them without
> causing any programs to break. Any files that are referenced by
> programs but are also useful as standalone documentation should be
> installed under /usr/share/package/ with symbolic links from
> /usr/share/doc/package/.
>
> Please change serverity if I am wrong.
This is not a bug: you've misunderstood policy here. That paragraph of
policy means that, for instance, package maintainer scripts can't expect
anything to be in /usr/share/doc, and that if you randomly delete
/usr/share/doc then things shouldn't suddenly stop working as a result
(although programs might understandably fail to find online help and
such, which isn't really breaking in this sense).
Documentation should absolutely stay in /usr/share/doc. That's what the
directory's for. The part about "standalone documentation" is referring
to the case where, say, you have an example configuration file that the
package's maintainer scripts want to copy to /etc on installation, but
which should stick around in /usr/share/doc/<package>/examples for the
user to have a look at later. It's not referring to the general case of
all documentation, even if some program somewhere happens to mention its
existence.
In any case, dstooltk seems to carry on working perfectly well even when
dstooltk-doc is completely purged, so there's no breakage.
(Oh, by the way, as a general rule, if you don't see the word "must"
then don't file a bug as serious.)
Thanks for the report,
--
Colin Watson [EMAIL PROTECTED]
