git: 676281d96551 - main - security/paperkey: Move man pages to share/man

From: Nuno Teixeira <eduardo_at_FreeBSD.org>
Date: Thu, 21 Mar 2024 20:23:28 UTC
The branch main has been updated by eduardo:

URL: https://cgit.FreeBSD.org/ports/commit/?id=676281d96551e1da81e07f22812fd8091a83f90c

commit 676281d96551e1da81e07f22812fd8091a83f90c
Author:     Nuno Teixeira <eduardo@FreeBSD.org>
AuthorDate: 2024-03-21 18:18:42 +0000
Commit:     Nuno Teixeira <eduardo@FreeBSD.org>
CommitDate: 2024-03-21 20:22:58 +0000

    security/paperkey: Move man pages to share/man
    
    Approved by:    portmgr (blanket)
---
 security/paperkey/Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/security/paperkey/Makefile b/security/paperkey/Makefile
index f2e0ea0f8234..472bc91a1fa0 100644
--- a/security/paperkey/Makefile
+++ b/security/paperkey/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	paperkey
 PORTVERSION=	1.6
+PORTREVISION=	1
 CATEGORIES=	security
 MASTER_SITES=	http://www.jabberwocky.com/software/paperkey/ \
 		ZI
@@ -12,8 +13,9 @@ LICENSE=	GPLv2
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 GNU_CONFIGURE=	yes
+GNU_CONFIGURE_MANPREFIX=	${PREFIX}/share
 
-PLIST_FILES=	bin/paperkey man/man1/paperkey.1.gz
+PLIST_FILES=	bin/paperkey share/man/man1/paperkey.1.gz
 PORTDOCS=	NEWS README
 
 OPTIONS_DEFINE=	DOCS