Date: Thu, 9 Mar 2017 11:46:35 -0500 From: Anton Yuzhaninov <citrin+bsd@citrin.ru> To: Baptiste Daroussin <bapt@FreeBSD.org>, arch@FreeBSD.org, ports@FreeBSD.org Subject: Re: manpath change for ports ? Message-ID: <ab1e3438-4e25-6b02-e35f-6f4764ff0d99@citrin.ru> In-Reply-To: <20170306235610.cmpxk27jhoafel6l@ivaldir.net> References: <20170306235610.cmpxk27jhoafel6l@ivaldir.net>
next in thread | previous in thread | raw e-mail | index | archive | help
On 03/06/17 18:56, Baptiste Daroussin wrote: > I think we should add /usr/local/share/man in the manpath along with at first > and maybe instead of in long term. > > The reason is: > - /usr/local/share/man seems more consistent to me with base which have: > /usr/share/man > - It will remove lots of patches from the ports tree where were we need to patch > upstream build system to install in a non usual path. 1. During transition period having two trees for man pages - /usr/local/share/man and /usr/share/man will be additional headache. 2. When /usr/local/man will be removed some ports should be patched to use /usr/local/share/man instead /usr/local/man and we almost back to square one (with fewer ports to patch). 3. Patching man path is trivial comparing other challenges during porting software to FreeBSD. For me current situation with man path is not a big issue. 4. Linux Filesystem Hierarchy Standard has /usr/share/man but /usr/local/man Given all above I don't think this change is worth benefits it will have. Also when/if you will add /usr/local/share/man, please submit patch to cmake: https://gitlab.kitware.com/cmake/cmake/blob/master/Modules/GNUInstallDirs.cmake#L273 Currently cmake defines CMAKE_INSTALL_MANDIR to $PREFIX/man on FreeBSD.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?ab1e3438-4e25-6b02-e35f-6f4764ff0d99>