Bug#75594: usr/share/info/dir.gz not identical to /usr/info/dir
On Thu, Oct 26, 2000 at 04:39:41AM +0300, Eray Ozkural wrote:
> Package: general
> Severity: normal
>
> First, it seems that /usr/info/dir is the main index to info
> documentation while it seems that should be in /usr/share/info/dir.
> [/usr/share/info may take precedence, not very important though]
>
> Second, if they are to exist simultaenously, then the contents
> of both directories must be the same.
Only /usr/info/dir should exist. The other file is a bug. Please find the
package that installed it so we can reassign this bug to it.
--
Digital Electronic Being Intended for Assassination and Nullification
Reply to: