diff options
| author | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-06 12:25:01 +0000 |
|---|---|---|
| committer | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-06 13:03:24 +0000 |
| commit | 0b5390850e469f972e714fb62d3dc803781d288c (patch) | |
| tree | ed7d72dfd761acb3c02f7ec1af2e8bf05c08892d | |
| parent | 9bf43835f8322dd8345fef62c7c555f04cfa9a8d (diff) | |
devel/shell-toolbox: Move man pages to share/man
Approved by: portmgr (blanket)
| -rw-r--r-- | devel/shell-toolbox/Makefile | 2 | ||||
| -rw-r--r-- | devel/shell-toolbox/pkg-plist | 2 |
2 files changed, 3 insertions, 1 deletions
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 |