git: 676281d96551 - main - security/paperkey: Move man pages to share/man
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
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