diff options
Diffstat (limited to 'devel/ocaml-extlib/Makefile')
| -rw-r--r-- | devel/ocaml-extlib/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/devel/ocaml-extlib/Makefile b/devel/ocaml-extlib/Makefile index 042d3579c353..33a749a902d8 100644 --- a/devel/ocaml-extlib/Makefile +++ b/devel/ocaml-extlib/Makefile @@ -27,8 +27,6 @@ DOCSDIR= ${OCAML_DOCSDIR}/${PORTNAME} PORTDOCS= * -OPTIONS_DEFINE= DOCS - post-install: @${MKDIR} ${STAGEDIR}${DOCSDIR} (cd ${WRKSRC}/doc && ${INSTALL_DATA} * ${STAGEDIR}${DOCSDIR}) |