Skip to content

Commit

Permalink
misc/shuffle: Move man pages to share/man
Browse files Browse the repository at this point in the history
Approved by:	portmgr (blanket)
  • Loading branch information
Christian Weisgerber authored and Christian Weisgerber committed Mar 16, 2024
1 parent e5223c0 commit bd70c35
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions 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.
Expand Down

0 comments on commit bd70c35

Please sign in to comment.