Discussion on moving manpages to ${PREFIX}/share/man

[Yasuhiro KIMURA]

Hello,

Commit message of ports r484628 says as following.

----------------------------------------------------------------------
r484628 | bapt | 2018-11-11 03:12:57 +0900 (Sun, 11 Nov 2018) | 23 lines

Install texinfo files (GNU info) into ${PREFIX}/share/info

After a discussion on the mailing list on moving manpages to
${PREFIX}/share/man for consistency with base where it is
installed in usr/share/man, it appeared the same should happen
to GNU info files which were installed under share in base and
not in ports.
----------------------------------------------------------------------

I checked 2018's archive of this ML but couldn't find such thread.
Would someone please tell me where this discussion took place?

Best Regards.

---
Yasuhiro KIMURA