Hi Dmitrij and Vadim, Vadim Zhukov wrote on Fri, May 09, 2014 at 11:57:28AM +0400: > 09.05.2014 2:03 "Dmitrij D. Czarkoff" <[email protected]>:
>> Why not shorten "man-pages-posix" to just "posix"? That's what i originally suggested, too: From: Ingo Schwarze <[email protected]> Date: Fri, 24 Jan 2014 00:45:56 +0100 To: Vadim Zhukov <[email protected]> Cc: [email protected] Subject: Re: POSIX standard as manual pages [...] Do not install these manuals to /usr/local/man/, but to a dedicated directory, something like /usr/local/share/doc/posix/man/man{1,3}/*.{1,3} One advantage is that if any other POSIX documentation should ever show up in ports, it could go into share/doc/posix, too. There is no danger of clashes, posix/man is quite clear, man-pages-posix/man somewhat redundant. > It's upstream name, FWIW. The argument that a port should follow upstream's name (unless it is very badly chosen) and that most subdirectories of /usr/local/share/doc/ follow the respective ports' names is a valid one. > I won't mind to change actual folder if there will be a real reason. > You won't go to this folder directly anyway, will you? I already have your port installed because it is useful for me when doing work regarding POSIX conformance and when doing work regarding HISTORY sections. I already cd'ed into that directory several times, mostly to do multiple consecutive grep -R commands. Given that all this is still man(7), not mdoc(7), the new apropos is not yet very helpful, so searching still needs to be done the old way. Then again, i don't feel strongly either way, both paths seem acceptable to me. It's your port, and you are more used to ports naming conventions, so you should decide this detail, i think. Yours, Ingo
