On May 9, 2013, at 10:39 AM, Dan Nelson wrote:
> I don't have a /usr/local/share/man/ directory at all, and have 7300 files in
> /usr/local/man/man?/ , so I'd say /usr/local/man/ is the correct location :)
I wish it were that simple here. /etc/manpath.config is unmodified so I have no
idea how
In the last episode (May 09), Paul Beard said:
> Where should site-specific, ie local, man pages live?
>
> For instance, I have:
>
> /usr/local/man/man1/php.1.gz
> /usr/local/share/man/man1/php.1.gz
>
> -rw-r--r-- 1 root wheel 3597 May 6 00:38 /usr/local/man/man1/php.1.gz
> -rw-r--r-- 1 ro
Where should site-specific, ie local, man pages live?
For instance, I have:
/usr/local/man/man1/php.1.gz
/usr/local/share/man/man1/php.1.gz
-rw-r--r-- 1 root wheel 3597 May 6 00:38 /usr/local/man/man1/php.1.gz
-rw-r--r-- 1 root wheel 3383 Dec 20 19:54 /usr/local/share/man/man1/php.1.gz
