manpath change for ports ?

[Tijl Coosemans]

On Tue, 7 Mar 2017 09:51:14 -0600 Eric van Gyzen <vangyzen at FreeBSD.org> wrote:
> On 03/06/2017 17:56, Baptiste Daroussin wrote:
>> I would like to propose a change in the localbase hier for ports  
> 
> [...]
> 
>> Which will also remove tons of hacks from the ports tree.
>>
>> What do you think?  
> 
> This sounds good to me.
> 
> I seem to recall that most(?) Linux distros used /usr/man many years 
> ago, but they switched to /usr/share/man, I think in the early 2000s. 
> If that's correct, then I consider our /usr/local/man path a historical 
> curiosity that should finally be changed to /usr/local/share/man.

Yes, we used PREFIX/man because that's what software developed for
Linux used at the time.