Date: Wed, 6 Mar 2024 13:03:54 GMT From: Nuno Teixeira <eduardo@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 0b5390850e46 - main - devel/shell-toolbox: Move man pages to share/man Message-ID: <202403061303.426D3sZA087795@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202403061303.426D3sZA087795>