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

On Mon, Jan 22, 2024 at 01:46:21PM +0300, Gleb Popov wrote:
> On Mon, Jan 22, 2024 at 1:30???PM Alexey Dokuchaev 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 individual 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.
> 
> It is not about commit squashing.

I didn't imply or mention 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.

Right, this is phase one, and that's where we're now.

> 2. Flip the switch in bsd.port.mk
> 3. Remove now useless GNU_CONFIGURE_MANPREFIX knobs from all the ports
> again.

Yeah, that's identical to what I described above (quoted text) as method
#1 vs. one huge commit (#2).  Where is the extra churn?  Or you propose
something other than these 1-2-3 steps?  I still don't follow... :-/

./danfe