Bug#75594: usr/share/info/dir.gz not identical to /usr/info/dir

[Santiago Vila <sanvila@unex.es>]

On Thu, 26 Oct 2000, Eray Ozkural wrote:

> Package: general
> Version: N/A; reported 2000-10-26
> 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.

Please dpkg -S /usr/share/info/dir.gz and reassign this appropriately.