manpath change for ports ?

[Eric van Gyzen]

On 03/06/2017 17:56, Baptiste Daroussin wrote:
> Hi all,
>
> 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.

Eric