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

On Mon, Jan 22, 2024 at 1:30 PM Alexey Dokuchaev <danfe@freebsd.org> wrote:
>
> 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

It is not about commit squashing. The problem can be solved
incrementally but it introduces more churn in the repository:

1. We go over all affected ports plugging GNU_CONFIGURE_MANPREFIX
knobs into them.
2. Flip the switch in bsd.port.mk
3. Remove now useless GNU_CONFIGURE_MANPREFIX knobs from all the ports again.

As Mat said, it is easy to do 3 with a proper sed incantation, but I
wanted to avoid unnecessary changes in commits. Those can be avoided
if the work is being done in another branch, that'd get eventually
merged in and keep all the history lean.