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 wrote:
> > which must be prepared first, but that's what people are doing; does
> > this really require special coordination?
> 
> Uhm, yes? We all are these people.

Well okay, the list of ports was actually useful. :)

> 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).

Not sure I understand: to change default GNU_CONFIGURE_MANPREFIX you'd
either have to fix all ports first (one by one, or better in small
groups, e.g. per-category or per-maintainer), then flip the switch and
drop custom GNU_CONFIGURE_MANPREFIX in indivitual ports (or skip/delay
the drop because they would be redundant, but harmless), no?  You want
to change everything in one big commit?  While I love to group commits,
that would be a little *too* big, I reckon.

./danfe