Hello, ports!

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? If that's true then why it is so? Is it because man path in default mandoc.conf is set to /usr/local/man?

---

Best regards,
la ninpre.