On 2024/10/13 06:47, la-ninpre wrote: > Recently author of a software I'm maintaining a port for has contacted > me to report that some user that preferred to be anonymous suggested > to change install location of man pages from ${PREFIX}/man/man1/ to > ${PREFIX}/share/man/man1/. I've checked what other ports do and found > that pretty much all of them use ${PREFIX}/man/... too. Only exception > that I found by grepping was math/wxMaxima. > > Do I understand correctly that ${PREFIX}/man/ is the preferred ports > man page location on OpenBSD?
${PREFIX}/man is correct for OpenBSD ports. I'll fix wxMaxima. > If that's true then why it is so? Is it because man path in default > mandoc.conf is set to /usr/local/man? Because that's the layout OpenBSD uses. This is from long before mandoc existed.