diff options
| -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 |