Re: Re: git: d2e99e0393d6 - main - games/yadex: install the manpage under $PREFIX/share/man.

On Mon, Jan 22, 2024 at 01:11:54PM +0300, Gleb Popov wrote:
> On Mon, Jan 22, 2024 at 1:04 PM Alexey Dokuchaev <danfe@freebsd.org> wrote:
> > which must be prepared first, but that's
> > what people are doing; does this really require special coordination?
> >
> > ./danfe
> 
> Uhm, yes? We all are these people.
> 
> The problem with this change is that it isn't possible to do in the
> main branch with extra churn (adding a GNU_CONFIGURE_MANPREFIX
> override for each port and then removing it after the change in Mk).

Well, the change adding GNU_CONFIGURE_MANPREFIX can be removed
automatically using simple grep | sed.

It's either we flip the switch in Mk and add
GNU_CONFIGURE_MANPREFIX=PREFIX/man now, and let those lines be removed
when ports get updated, or add GNU_CONFIGURE_MANPREFIX=PREFIX/share/man
lines now, and remove them after flipping the switch in Mk.

-- 
Mathieu Arnold