diff options
author | Christian Weisgerber <naddy@FreeBSD.org> | 2024-03-16 16:29:29 +0000 |
---|---|---|
committer | Christian Weisgerber <naddy@FreeBSD.org> | 2024-03-16 16:29:29 +0000 |
commit | bd70c3585535d348363aa609c3b85891f73cfb0f (patch) | |
tree | 605461cb53f4c41c198b63eeb874440b373da8f2 | |
parent | e5223c0df56c3b7f82b5177c736ea07923a536f4 (diff) | |
download | ports-bd70c3585535d348363aa609c3b85891f73cfb0f.tar.gz ports-bd70c3585535d348363aa609c3b85891f73cfb0f.zip |
misc/shuffle: Move man pages to share/man
Approved by: portmgr (blanket)
-rw-r--r-- | misc/shuffle/Makefile | 6 |
1 files 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. |