diff options
Diffstat (limited to 'databases/pgpool/Makefile')
| -rw-r--r-- | databases/pgpool/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/databases/pgpool/Makefile b/databases/pgpool/Makefile index c17ebd02e584..98b44deb9987 100644 --- a/databases/pgpool/Makefile +++ b/databases/pgpool/Makefile @@ -18,12 +18,12 @@ CONFLICTS= pgpool-II-* PORTDOCS= README AUTHORS COPYING ChangeLog INSTALL NEWS TODO README.euc_jp +OPTIONS_DEFINE= DOCS + post-install: -.if !defined(NOPORTDOCS) @${MKDIR} ${STAGEDIR}${DOCSDIR} .for f in ${PORTDOCS} ${INSTALL_MAN} ${WRKSRC}/$f ${STAGEDIR}${DOCSDIR} .endfor -.endif .include <bsd.port.mk> |