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

[Eray Ozkural <erayo@cs.bilkent.edu.tr>]

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.

Thanks,

-- System Information
Debian Release: woody
Architecture: i386
Kernel: Linux orion 2.2.17 #1 Tue Sep 26 13:10:19 EEST 2000 i686