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
_______________________________________________
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
