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