<<< Date Index >>>     <<< Thread Index >>>

Re: man page



On 2007-03-07 18:27:30 -0500, Jean-Pierre Radley wrote:
> Brendan Cully typed (on Wed, Mar 07, 2007 at 01:51:59PM -0800):
> | It puts it in /usr/local/share/man/man1 here.
> 
> Ah, Thanks, got it now.
> I reran configure and included "--mandir=/usr/local/man".

/usr/local/share/man is the standard place to store man pages,
/usr/local/man being deprecated, but in practice, this should
currently make no difference as they should be the same directory.
Indeed, http://www.pathname.com/fhs/pub/fhs-2.3.html says:

    /usr/local/share

    The requirements for the contents of this directory are the
    same as /usr/share. The only additional constraint is that
    /usr/local/share/man and /usr/local/man directories must be
    synonomous (usually this means that one of them must be a
    symbolic link).

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)