diff options
Diffstat (limited to 'lang/php_doc')
| -rw-r--r-- | lang/php_doc/Makefile | 1 | ||||
| -rw-r--r-- | lang/php_doc/pkg-comment | 1 |
2 files changed, 1 insertions, 1 deletions
diff --git a/lang/php_doc/Makefile b/lang/php_doc/Makefile index 57dc62ce5f6b..85947aa7e9f3 100644 --- a/lang/php_doc/Makefile +++ b/lang/php_doc/Makefile @@ -13,6 +13,7 @@ MASTER_SITE_SUBDIR= dirk DISTNAME= php_manual_${PHP_LANG} MAINTAINER= dirk@FreeBSD.org +COMMENT= PHP documentation in HTML NO_BUILD= YES NO_WRKSUBDIR= YES diff --git a/lang/php_doc/pkg-comment b/lang/php_doc/pkg-comment deleted file mode 100644 index eabe400a1bcd..000000000000 --- a/lang/php_doc/pkg-comment +++ /dev/null @@ -1 +0,0 @@ -PHP documentation in HTML |