Re: git: 021fcd36af22 - main - games/coffeebreak: Move man pages to share/man
Date: Sun, 10 Mar 2024 09:16:36 UTC
On Sat, Mar 09, 2024 at 08:31:19AM +0000, Nuno Teixeira wrote:
> commit 021fcd36af22585a4bcf6e71ccb9a7d0f6ed204a
>
> games/coffeebreak: Move man pages to share/man
> ...
> +
> +post-patch:
> + ${REINPLACE_CMD} 's|/usr/local|${PREFIX}|g' ${WRKSRC}/Makefile
>
> .include <bsd.port.mk>
> ...
> +--- Makefile.orig 2024-03-09 06:57:33 UTC
> ++++ Makefile
> +@@ -27,7 +27,7 @@ BINDIR = $(DESTDIR)$(PREFIX)/bin
> +
> + PREFIX = /usr/local
> + BINDIR = $(DESTDIR)$(PREFIX)/bin
> +-MANDIR = $(DESTDIR)$(PREFIX)/man
> ++MANDIR = $(DESTDIR)$(PREFIX)/share/man
We typically don't patch makefiles, esp. twice (sed+patch) when we have
MAKE_ARGS for that matter. Grepping "git log" output for MAKE_ARGS can
yield plenty of examples.
./danfe