diff options
| author | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-21 18:18:42 +0000 |
|---|---|---|
| committer | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-21 20:22:58 +0000 |
| commit | 676281d96551e1da81e07f22812fd8091a83f90c (patch) | |
| tree | cd011c7e7711db21c4b28422a453957250215f4b | |
| parent | 2d5524960770aea65df8404b885b4e7103e6f11d (diff) | |
security/paperkey: Move man pages to share/man
Approved by: portmgr (blanket)
| -rw-r--r-- | security/paperkey/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
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 |