git: 667ba28778b1 - main - games/penguin-command: Move man pages to share/man

From: Nuno Teixeira <eduardo_at_FreeBSD.org>
Date: Sat, 09 Mar 2024 11:05:19 UTC 
The branch main has been updated by eduardo:

URL: https://cgit.FreeBSD.org/ports/commit/?id=667ba28778b1b7b066419c7d03d65ad6758aa2c0

commit 667ba28778b1b7b066419c7d03d65ad6758aa2c0
Author:     Nuno Teixeira <eduardo@FreeBSD.org>
AuthorDate: 2024-03-09 10:18:54 +0000
Commit:     Nuno Teixeira <eduardo@FreeBSD.org>
CommitDate: 2024-03-09 11:04:52 +0000

    games/penguin-command: Move man pages to share/man
    
    Approved by:    portmgr (blanket)
---
 games/penguin-command/Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/games/penguin-command/Makefile b/games/penguin-command/Makefile
index ae397f47d9f3..cb32c7210461 100644
--- a/games/penguin-command/Makefile
+++ b/games/penguin-command/Makefile
@@ -1,6 +1,6 @@
 PORTNAME=	penguin-command
 PORTVERSION=	1.6.11
-PORTREVISION=	12
+PORTREVISION=	13
 CATEGORIES=	games
 MASTER_SITES=	SF
 
@@ -13,10 +13,11 @@ LIB_DEPENDS=	libpng.so:graphics/png
 USES=		jpeg sdl
 USE_SDL=	mixer image sdl
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=	${PREFIX}/share
 
 PLIST_FILES=	bin/${PORTNAME} \
-		man/man6/penguin-command.6.gz \
-		man/man6/penguin-command.ja.6.gz
+		share/man/man6/penguin-command.6.gz \
+		share/man/man6/penguin-command.ja.6.gz
 PORTDATA=	*
 
 DESKTOP_ENTRIES="Penguin Command" \