From 7ef053c6327441bc7306ff6ee12fde2a42301ab4 Mon Sep 17 00:00:00 2001
From: Adrien Devresse <adrien.devresse@epfl.ch>
Date: Tue, 20 Sep 2016 14:31:23 +0000
Subject: Add a new option to disable documentation generation at configure
 time

---
 doc/manual/local.mk | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'doc')

diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index d89555899a70..4376c3644d38 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -1,3 +1,6 @@
+
+ifeq ($(doc_generate),yes)
+
 XSLTPROC = $(xsltproc) --nonet $(xmlflags) \
   --param section.autolabel 1 \
   --param section.label.includes.component.label 1 \
@@ -71,8 +74,14 @@ $(foreach file, $(wildcard $(d)/images/callouts/*.gif), $(eval $(call install-da
 
 $(eval $(call install-symlink, manual.html, $(docdir)/manual/index.html))
 
+
 all: $(d)/manual.html
 
+
+
 clean-files += $(d)/manual.html
 
 dist-files += $(d)/manual.html
+
+
+endif
-- 
cgit 1.4.1