On Tue, 7 Mar 2017 09:51:14 -0600 Eric van Gyzen <[email protected]> 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. _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any mail to "[email protected]"
