Re: need help with gdb

To: debian-user list <debian-user@lists.debian.org>
Subject: Re: need help with gdb
From: Shaul Karl <shaulk@israsrv.net.il>
Date: Thu, 09 Dec 1999 10:55:14 +0200
Message-id: <[🔎] E11vzM5-0002Gz-00@rakefet>
In-reply-to: Message from Christian Hammers <ch@lathspell.westend.com> of "Tue, 07 Dec 1999 18:25:08 +0100." <[🔎] 19991207182508.A1318@lathspell>
References: <[🔎] XFMail.19991206214704.pollywog@shadypond.com> <pollywog@shadypond.com> <[🔎] E11vG2c-0000Sh-00@rakefet> <[🔎] 19991207182508.A1318@lathspell>

> > BTW: How come that there is a gdb dir under /usr/doc/ but there is not one under /usr/share/doc/ ? What is the exact policy about /usr/doc/ and /usr/share/doc/ ?
> /usr/doc was the traditional location of the documentation. This has changed
> since Debian tries to get conform to the File-Hierarchy-Standard (FHS) which
> demands everything which is shareable (like docs) under /usr/share.
> 

Then every package that does not have all its documentation in /usr/share/doc/ should be filed a bug against? 
Same goes for man pages and info files?

Actually, is not this makes /usr/doc obsolete?

Reply to:

References:
- need help with gdb
  - From: Pollywog <pollywog@shadypond.com>
- Re: need help with gdb
  - From: Shaul Karl <shaulk@israsrv.net.il>
- Re: need help with gdb
  - From: Christian Hammers <ch@lathspell.westend.com>

Prev by Date: sharing mailbox with win98
Next by Date: Re: /root -> /home/kmfahey; /usr/doc -> /usr/share/doc
Previous by thread: Re: need help with gdb
Next by thread: compatible?
Index(es):
- Date
- Thread