diff options
Diffstat (limited to 'ports-mgmt/porttools/Makefile')
-rw-r--r-- | ports-mgmt/porttools/Makefile | 3 |
1 files changed, 2 insertions, 1 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 |