From 5fda90cfe7ad79ee4e32681643b40d9fd0e573ee Mon Sep 17 00:00:00 2001
From: mrmr1993 <mr_1993@hotmail.co.uk>
Date: Sat, 3 Mar 2018 14:03:24 +0000
Subject: Build docs for plugins by default, add NOPLUGINDOCS flag to disable

---
 Makefile.doc | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to 'Makefile.doc')

diff --git a/Makefile.doc b/Makefile.doc
index 9325ef7e6..8c34c9472 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -385,11 +385,18 @@ install-doc-index-urls:
 # Documentation of the source code (using ocamldoc)
 ###########################################################################
 
+# To skip building docs for plugins and build docs for core only, set this
+# variable to 1 (or any non-empty value):
+NOPLUGINDOCS ?=
+
 OCAMLDOCDIR=dev/ocamldoc
 
-DOCMLS=$(foreach lib,$(CORECMA:.cma=_MLLIB_DEPENDENCIES),$(addsuffix .ml, $($(lib))))
+DOCMLLIBS=$(if $(NOPLUGINDOCS), \
+		  $(CORECMA:.cma=_MLLIB_DEPENDENCIES), \
+		  $(CORECMA:.cma=_MLLIB_DEPENDENCIES) $(PLUGINSCMO:.cmo=_MLPACK_DEPENDENCIES))
+DOCMLS=$(foreach lib,$(DOCMLLIBS),$(addsuffix .ml, $($(lib))))
 
-DOCMLIS=$(wildcard $(addsuffix /*.mli, $(CORESRCDIRS)))
+DOCMLIS=$(wildcard $(addsuffix /*.mli, $(if $(NOPLUGINDOCS),$(CORESRCDIRS),$(SRCDIRS))))
 
 # Defining options to generate dependencies graphs
 DOT=dot
-- 
cgit v1.2.3