diff options
-rw-r--r-- | x11-toolkits/ocaml-lablgtk2/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/x11-toolkits/ocaml-lablgtk2/Makefile b/x11-toolkits/ocaml-lablgtk2/Makefile index 3b71923e62df..50f8aad0f6fd 100644 --- a/x11-toolkits/ocaml-lablgtk2/Makefile +++ b/x11-toolkits/ocaml-lablgtk2/Makefile @@ -135,7 +135,9 @@ post-patch: post-install: @${MKDIR} ${STAGEDIR}${DOCSDIR} +.if ${PORT_OPTIONS:MDOCS} ${INSTALL_DATA} ${PORTDOCS:S,^,${WRKSRC}/,} ${STAGEDIR}${DOCSDIR} +.endif @${MKDIR} ${STAGEDIR}${EXAMPLESDIR} @cd ${WRKSRC}/examples && ${COPYTREE_SHARE} \ "*.ml *.png *.rgb *.xpm text ${EXAMPLES_SUBDIRS}" \ |