Re: git: 021fcd36af22 - main - games/coffeebreak: Move man pages to share/man
Date: Mon, 11 Mar 2024 02:17:33 UTC
On Sun, Mar 10, 2024 at 09:31:19PM +0100, Mathieu Arnold wrote: > On Sun, Mar 10, 2024 at 08:33:55PM +0300, Vladimir Druzenko wrote: > > 10.03.2024 18:55, Alexey Dokuchaev пишет: > > > On Sun, Mar 10, 2024 at 10:47:07AM +0000, Nuno Teixeira wrote: > > > > (...) > > > > > > > > Works fine: > > > > > > > > +MAKE_ARGS= PREFIX=${PREFIX} MANDIR=${STAGEDIR}${PREFIX}/share/man > > > > > > > > What do you think? This way it is nicely simplified without patch > > > > or sed. > > > > > > Yes, this is what I had in mind. > > > > I tested same for other ports - doesn't work if Makefile have line: > > MANDIR= XXX but work if it have: MANDIR?= XXX You don't have to *test* this as it were some kind of magic, this is well known and documented make(1) behaviour. Could you be confusing with MAKE_ENV perhaps? > Variables passed as arguments will override variables set with = or ?= > Variables in the environemnt will override variables set with ?= Right. Alas, apparently this is still needs to be explained even to some seasoned ports committers. :-/ ./danfe