diff options
| author | pawel <pawel@FreeBSD.org> | 2016-02-04 03:59:59 +0800 |
|---|---|---|
| committer | pawel <pawel@FreeBSD.org> | 2016-02-04 03:59:59 +0800 |
| commit | 43c0bdb60f21c082fc7a705024f901f4195fec1e (patch) | |
| tree | ce0a69937941a7291b8dcfb4e6dd2df100ace575 | |
| parent | eb5011a8998d1ff56841b2a62d647402a9a8ca01 (diff) | |
| download | freebsd-ports-gnome-43c0bdb60f21c082fc7a705024f901f4195fec1e.tar.gz freebsd-ports-gnome-43c0bdb60f21c082fc7a705024f901f4195fec1e.tar.zst freebsd-ports-gnome-43c0bdb60f21c082fc7a705024f901f4195fec1e.zip | |
Add forgotten portbump as contents of this port and slaves have changed
| -rw-r--r-- | lang/php_doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lang/php_doc/Makefile b/lang/php_doc/Makefile index 0504250066cb..798e91524a90 100644 --- a/lang/php_doc/Makefile +++ b/lang/php_doc/Makefile @@ -3,6 +3,7 @@ PORTNAME= php_doc PORTVERSION?= 20131017 +PORTREVISION= 1 CATEGORIES?= lang MASTER_SITES= http://www.mavetju.org/download/adopted/ DISTNAME= php_manual_${PHP_LANG}-${PORTVERSION} |