Re: [MiNT] Bug report for man RPM

[Guido.Flohr@t-online.de (Guido Flohr)]

Hi,

On Mon, Dec 18, 2000 at 12:28:43PM +0100, Xavier Joubert wrote:
> Another problem : "/usr/share/man" is not set in the default
> "/etc/man.config" as a directory for man pages while some RPMs intall
> their doc there.

/usr(/local)/share/man is the location that FHS supposes, /usr(/local)/man
is the legacy location.  During the migration to FHS paths you should
probably symlink the corresponding man directories.  In this case it
shouldn't matter if /etc/man.config says /usr/man or /usr/share/man.
On the other hand that will generate a lot of errors when verifying
Sparemint packages that install manpages into /usr/man (not all have been
changed yet with respect to the new manpath).

Having both locations listed in /etc/man.config will probably cause
problems with mandb and catman: They will handle both directories.  I
think so at least.

But right, an update to /etc/man.config should rather list /usr/share/man
than /usr/man to indicate that Sparemint favors the FHS locations.

Ciao

Guido