diff options
Diffstat (limited to 'devel/ocaml-annexlib')
-rw-r--r-- | devel/ocaml-annexlib/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/ocaml-annexlib/Makefile b/devel/ocaml-annexlib/Makefile index 0313126b3e4e..2fc4252aaf61 100644 --- a/devel/ocaml-annexlib/Makefile +++ b/devel/ocaml-annexlib/Makefile @@ -29,6 +29,8 @@ ALL_TARGET= all opt SA_DIR= ${LOCALBASE}/${OCAML_SITELIBDIR} DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} +MAKE_JOBS_UNSAFE= yes + post-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} @${INSTALL_DATA} ${WRKSRC}/doc/html/* ${STAGEDIR}${DOCSDIR} |