Bug#161672: marked as done (dstooltk-doc: Docu saved to /usr/share/doc instead of /usr/share)
Your message dated Fri, 20 Sep 2002 21:08:57 +0100
with message-id <20020920200856.GA25071@riva.ucam.org>
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 kontakt@dstampfer.de Fri Sep 20 14:47:53 2002
Return-path: <kontakt@dstampfer.de>
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 submit@bugs.debian.org; 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 submit@bugs.debian.org; 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 <kontakt@dstampfer.de>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: dstooltk-doc: Docu saved to /usr/share/doc instead of /usr/share
Message-ID: <[🔎] 20020920214808.A943@dstampfer.de>
Reply-To: kontakt@dstampfer.de
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: kontakt@dstampfer.de
Delivered-To: submit@bugs.debian.org
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 cjwatson@flatline.org.uk Fri Sep 20 15:09:01 2002
Return-path: <cjwatson@flatline.org.uk>
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 <cjwatson@debian.org>
To: kontakt@dstampfer.de, 161672-done@bugs.debian.org
Subject: Re: Bug#161672: dstooltk-doc: Docu saved to /usr/share/doc instead of /usr/share
Message-ID: <20020920200856.GA25071@riva.ucam.org>
References: <[🔎] 20020920214808.A943@dstampfer.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <[🔎] 20020920214808.A943@dstampfer.de>
User-Agent: Mutt/1.4i
Sender: Colin Watson <cjwatson@riva.ucam.org>
Delivered-To: 161672-done@bugs.debian.org
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 [cjwatson@flatline.org.uk]
Reply to: