diff options
Diffstat (limited to 'lang/php/Makefile')
| -rw-r--r-- | lang/php/Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lang/php/Makefile b/lang/php/Makefile index 2120f96936ba..1e514393e367 100644 --- a/lang/php/Makefile +++ b/lang/php/Makefile @@ -37,11 +37,6 @@ SCRIPTS_ENV= WRKDIRPREFIX="${WRKDIRPREFIX}" \ PHPDOCDIR= ${PREFIX}/share/doc/php PLIST_SUB= PHPDOCDIR=${PHPDOCDIR:S/^${PREFIX}\///} -.if defined(NOPORTDOCS) -PLIST_SUB+= PORTDOCS:="@comment " -.else -PLIST_SUB+= PORTDOCS:= -.endif pre-fetch: @${SETENV} ${SCRIPTS_ENV} ${SH} ${SCRIPTDIR}/configure.php |