diff options
author | Johannes Jost Meixner <xmj@FreeBSD.org> | 2014-04-24 04:15:46 +0000 |
---|---|---|
committer | Johannes Jost Meixner <xmj@FreeBSD.org> | 2014-04-24 04:15:46 +0000 |
commit | 6a1615fc49ae53b3a879a71f29c38fc2a0ff7fa2 (patch) | |
tree | cfc94bd954a952d17357bbb9f1b0c55a480de927 /ports-mgmt | |
parent | 8c83d17a73a94a634ef5c18c020a3714187dd22f (diff) | |
download | ports-6a1615fc49ae53b3a879a71f29c38fc2a0ff7fa2.tar.gz ports-6a1615fc49ae53b3a879a71f29c38fc2a0ff7fa2.zip |
Notes
Diffstat (limited to 'ports-mgmt')
-rw-r--r-- | ports-mgmt/porttools/Makefile | 11 | ||||
-rw-r--r-- | ports-mgmt/porttools/distinfo | 4 |
2 files changed, 5 insertions, 10 deletions
diff --git a/ports-mgmt/porttools/Makefile b/ports-mgmt/porttools/Makefile index 889c5eff3260..a9104e0fd087 100644 --- a/ports-mgmt/porttools/Makefile +++ b/ports-mgmt/porttools/Makefile @@ -2,7 +2,7 @@ # $FreeBSD$ PORTNAME= porttools -PORTVERSION= 1.01 +PORTVERSION= 1.02 CATEGORIES= ports-mgmt MAINTAINER= xmj@chaot.net @@ -17,8 +17,7 @@ RUN_DEPENDS= portlint:${PORTSDIR}/ports-mgmt/portlint \ USE_GITHUB= yes GH_ACCOUNT= xmj -GH_COMMIT= 0411a96 -GH_TAGNAME= 1.01 +GH_COMMIT= c4db0e1 # Make the version information of porttools itself # available for inclusion in the PRs generated by it. @@ -31,10 +30,6 @@ NEWFILE_DESC= Enable newfile support NEWFILE_RUN_DEPENDS= newfile:${PORTSDIR}/devel/newfile -.include <bsd.port.options.mk> - -.if ${PORT_OPTIONS:MDOCS} -INSTALL_TARGET= install install-docs -.endif +DOCS_INSTALL_TARGET= install install-docs .include <bsd.port.mk> diff --git a/ports-mgmt/porttools/distinfo b/ports-mgmt/porttools/distinfo index fbfe643877a8..882492c19b8d 100644 --- a/ports-mgmt/porttools/distinfo +++ b/ports-mgmt/porttools/distinfo @@ -1,2 +1,2 @@ -SHA256 (porttools-1.01.tar.gz) = afafc3ff0db17e0f0b9f0df849b7a12c74d9b150c813d42abb60935acde4827f -SIZE (porttools-1.01.tar.gz) = 21101 +SHA256 (porttools-1.02.tar.gz) = b5aa780232e0b57a9eb4a2b28591647b01a082bafc472776950673e2175c87a3 +SIZE (porttools-1.02.tar.gz) = 21145 |