git: bd70c3585535 - main - misc/shuffle: Move man pages to share/man
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 16 Mar 2024 16:30:05 UTC
The branch main has been updated by naddy:
URL: https://cgit.FreeBSD.org/ports/commit/?id=bd70c3585535d348363aa609c3b85891f73cfb0f
commit bd70c3585535d348363aa609c3b85891f73cfb0f
Author: Christian Weisgerber <naddy@FreeBSD.org>
AuthorDate: 2024-03-16 16:29:29 +0000
Commit: Christian Weisgerber <naddy@FreeBSD.org>
CommitDate: 2024-03-16 16:29:29 +0000
misc/shuffle: Move man pages to share/man
Approved by: portmgr (blanket)
---
misc/shuffle/Makefile | 6 ++++--
1 file changed, 4 insertions(+), 2 deletions(-)
diff --git a/misc/shuffle/Makefile b/misc/shuffle/Makefile
index 194a8c1b7095..9fc4153c02a5 100644
--- a/misc/shuffle/Makefile
+++ b/misc/shuffle/Makefile
@@ -1,16 +1,18 @@
PORTNAME= shuffle
PORTVERSION= 20010603
+PORTREVISION= 1
CATEGORIES= misc
MASTER_SITES= LOCAL/dd
MAINTAINER= ports@FreeBSD.org
COMMENT= Produce random permutations
-PLIST_FILES= bin/shuffle man/man1/shuffle.1.gz
+PLIST_FILES= bin/shuffle share/man/man1/shuffle.1.gz
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/shuffle ${STAGEDIR}${PREFIX}/bin/shuffle
- ${INSTALL_MAN} ${WRKSRC}/shuffle.1.gz ${STAGEDIR}${PREFIX}/man/man1
+ ${INSTALL_MAN} ${WRKSRC}/shuffle.1.gz \
+ ${STAGEDIR}${PREFIX}/share/man/man1
#
# Ports build/install stuff stops here. Tarball creation stuff begins here.