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 <[EMAIL PROTECTED]> - 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)
