diff options
| -rw-r--r-- | devel/ocaml-extlib/Makefile | 9 | ||||
| -rw-r--r-- | devel/ocaml-extlib/pkg-plist | 2 |
2 files changed, 9 insertions, 2 deletions
diff --git a/devel/ocaml-extlib/Makefile b/devel/ocaml-extlib/Makefile index a2b3134a938..40c93ee0bbc 100644 --- a/devel/ocaml-extlib/Makefile +++ b/devel/ocaml-extlib/Makefile @@ -20,7 +20,14 @@ BUILD_DEPENDS= ocamlc:${PORTSDIR}/lang/ocaml \ ocamlfind:${PORTSDIR}/devel/ocaml-findlib USE_GMAKE= yes -ALL_TARGET= all opt doc +ALL_TARGET= all opt +ALL_TARGET= all opt +.if !defined(NOPORTDOCS) +ALL_TARGET+= doc +PLIST_SUB+= PORTDOCS="" +.else +PLIST_SUB+= PORTDOCS="@comment " +.endif DOCSDIR= ${PREFIX}/share/doc/ocaml/${PORTNAME} post-install: diff --git a/devel/ocaml-extlib/pkg-plist b/devel/ocaml-extlib/pkg-plist index 1369f0beac9..becbca961d4 100644 --- a/devel/ocaml-extlib/pkg-plist +++ b/devel/ocaml-extlib/pkg-plist @@ -106,4 +106,4 @@ lib/ocaml/site-lib/extlib/META %%PORTDOCS%%%%DOCSDIR%%/type_UTF8.html %%PORTDOCS%%%%DOCSDIR%%/type_Unzip.html @dirrm lib/ocaml/site-lib/extlib -@dirrm %%DOCSDIR%% +%%PORTDOCS%%@dirrm %%DOCSDIR%% |