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)