git: 0b5390850e46 - main - devel/shell-toolbox: Move man pages to share/man
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Wed, 06 Mar 2024 13:03:54 UTC
The branch main has been updated by eduardo:
URL: https://cgit.FreeBSD.org/ports/commit/?id=0b5390850e469f972e714fb62d3dc803781d288c
commit 0b5390850e469f972e714fb62d3dc803781d288c
Author: Nuno Teixeira <eduardo@FreeBSD.org>
AuthorDate: 2024-03-06 12:25:01 +0000
Commit: Nuno Teixeira <eduardo@FreeBSD.org>
CommitDate: 2024-03-06 13:03:24 +0000
devel/shell-toolbox: Move man pages to share/man
Approved by: portmgr (blanket)
---
devel/shell-toolbox/Makefile | 2 ++
devel/shell-toolbox/pkg-plist | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/devel/shell-toolbox/Makefile b/devel/shell-toolbox/Makefile
index 4c51b277b4b8..1cb806924c63 100644
--- a/devel/shell-toolbox/Makefile
+++ b/devel/shell-toolbox/Makefile
@@ -1,5 +1,6 @@
PORTNAME= shell-toolbox
DISTVERSION= 20190528
+PORTREVISION= 1
CATEGORIES= devel
MAINTAINER= 0mp@FreeBSD.org
@@ -12,6 +13,7 @@ LICENSE_FILE= ${WRKSRC}/LICENSE
NO_ARCH= yes
GNU_CONFIGURE= yes
+GNU_CONFIGURE_MANPREFIX= ${PREFIX}/share
USE_GITHUB= yes
GH_ACCOUNT= kusalananda
diff --git a/devel/shell-toolbox/pkg-plist b/devel/shell-toolbox/pkg-plist
index 24da38b75696..d1c8fab6c822 100644
--- a/devel/shell-toolbox/pkg-plist
+++ b/devel/shell-toolbox/pkg-plist
@@ -1,7 +1,7 @@
bin/shell
-man/man1/shell.1.gz
%%PORTDOCS%%%%DOCSDIR%%/LICENSE
%%PORTDOCS%%%%DOCSDIR%%/NEWS
%%PORTDOCS%%%%DOCSDIR%%/README
%%PORTDOCS%%%%DOCSDIR%%/shell.md
%%PORTDOCS%%%%DOCSDIR%%/shell.txt
+share/man/man1/shell.1.gz