From: Stuart Henderson <stu@spacehopper.org>
Subject: Re: ports man pages location
To: la-ninpre <aaoth@aaoth.xyz>
Cc: ports@openbsd.org
Date: Sun, 13 Oct 2024 09:32:12 +0100

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.