diff options
author | Yasuhiro Kimura <yasu@FreeBSD.org> | 2024-03-01 07:56:43 +0900 |
---|---|---|
committer | Yasuhiro Kimura <yasu@FreeBSD.org> | 2024-03-03 10:42:02 +0900 |
commit | c673f0a00a3ef10e23fbf14ad0df88f3d6d24a63 (patch) | |
tree | 634bb544ef28e36f6eb2dbfa95e38a2a82334e8d /ports-mgmt/porttools | |
parent | mail/dovecot-pigeonhole: Move manapges to share/man (diff) |
ports-mgmt/porttools: Move manpages to share/man
PR: 277405
Approved by: portmgr (blanket)
Diffstat (limited to 'ports-mgmt/porttools')
-rw-r--r-- | ports-mgmt/porttools/Makefile | 3 | ||||
-rw-r--r-- | ports-mgmt/porttools/pkg-plist | 4 |
2 files changed, 4 insertions, 3 deletions
diff --git a/ports-mgmt/porttools/Makefile b/ports-mgmt/porttools/Makefile index de6e9ef3ad56..a0107be1c049 100644 --- a/ports-mgmt/porttools/Makefile +++ b/ports-mgmt/porttools/Makefile @@ -1,5 +1,6 @@ PORTNAME= porttools PORTVERSION= 1.11 +PORTREVISION= 1 CATEGORIES= ports-mgmt MAINTAINER= skreuzer@FreeBSD.org @@ -19,7 +20,7 @@ GH_TAGNAME= 1ec3e1d3c00e77cadc9a4dfd7f75de9674909016 # Make the version information of porttools itself # available for inclusion in the PRs generated by it. -MAKE_ENV+= DATADIR="${DATADIR}" DOCSDIR="${DOCSDIR}" PORTVERSION="${PORTVERSION}" +MAKE_ENV+= DATADIR="${DATADIR}" DOCSDIR="${DOCSDIR}" MANPREFIX="${PREFIX}/share" PORTVERSION="${PORTVERSION}" OPTIONS_DEFINE= DOCS diff --git a/ports-mgmt/porttools/pkg-plist b/ports-mgmt/porttools/pkg-plist index e32b7b806382..697c1d4a5afa 100644 --- a/ports-mgmt/porttools/pkg-plist +++ b/ports-mgmt/porttools/pkg-plist @@ -1,6 +1,6 @@ bin/port -man/man1/port.1.gz -man/man5/porttools.5.gz +share/man/man1/port.1.gz +share/man/man5/porttools.5.gz %%PORTDOCS%%%%DOCSDIR%%/LICENSE %%PORTDOCS%%%%DOCSDIR%%/NEWS %%PORTDOCS%%%%DOCSDIR%%/README.md |