Re: Bug#62378: Redundant directory and package name
On 22-Aug-00, 18:27 (CDT), Nicol?s Lichtmaier <nick@debian.org> wrote:
> > 1. I subtly avoided those by specifying doc-xxxx rather than xxxx-doc :-)
> > FWIW, I think we ought to come to agreement about the proper behaviour:
> > right now I don't know *where* to look after installing foo-doc.
>
> Here the solution is clear to me. A package mutt-doc documenting mutt
> should put its files under /usr/doc/mutt, i.e. where a user will go to find
> mutt documentation.
That makes sense, except that my usual sequence is this:
1. Look for docs in /usr/doc/foo -- nothing there.
2. apt-get install foo-doc -- success.
3. Since I just installed foo-doc, I tend to look in /usr/doc/foo-doc for
the new materials. Silly me.
There doesn't seem to be policy on this...maybe there should be.
One argument for putting it in .../foo-doc is that if I want the docs
without foo, perhaps to see if I want to install it, or if I need/want
the docs on a different machine than I need/want the package (think
firewalls...)
Steve
Reply to: