diff options
| author | dirk <dirk@FreeBSD.org> | 2001-11-26 01:20:35 +0800 |
|---|---|---|
| committer | dirk <dirk@FreeBSD.org> | 2001-11-26 01:20:35 +0800 |
| commit | 60ca5dd5fd6f0bf91afa39b54344854038d9e0ad (patch) | |
| tree | 1b55768bedb3565c36d5d0a6149da46318179520 /lang/php_doc | |
| parent | e226d501b1441a151116e2b3323026b25ebec0d7 (diff) | |
| download | freebsd-ports-gnome-60ca5dd5fd6f0bf91afa39b54344854038d9e0ad.tar.gz freebsd-ports-gnome-60ca5dd5fd6f0bf91afa39b54344854038d9e0ad.tar.zst freebsd-ports-gnome-60ca5dd5fd6f0bf91afa39b54344854038d9e0ad.zip | |
Allow slave ports to override PORTVERSION.
Diffstat (limited to 'lang/php_doc')
| -rw-r--r-- | lang/php_doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/php_doc/Makefile b/lang/php_doc/Makefile index 088edfc09851..f90aaa5552c9 100644 --- a/lang/php_doc/Makefile +++ b/lang/php_doc/Makefile @@ -6,7 +6,7 @@ # PORTNAME= php_doc -PORTVERSION= 1.20011122 +PORTVERSION?= 1.20011122 CATEGORIES?= lang MASTER_SITES= ${MASTER_SITE_LOCAL} MASTER_SITE_SUBDIR= dirk |