From 250bee9e02546846d70dbe88ac36bb83c6a7ebdf Mon Sep 17 00:00:00 2001
From: Fabrice Fontaine <fontaine.fabrice@gmail.com>
Date: Sun, 22 Sep 2019 09:27:24 +0200
Subject: [PATCH] configure.ac: add --disable-doc option

Add --disable-doc option to allow the user to disable documentation

Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com>
[Sent upstream: https://savannah.gnu.org/bugs/index.php?56931]
---
 Makefile.am  | 6 +++++-
 configure.ac | 7 +++++++
 2 files changed, 12 insertions(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index dbb5719..2db307a 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -18,6 +18,10 @@
 ACLOCAL_AMFLAGS = -I m4 -I gl/m4
 
 EXTRA_DIST = configure TODO LICENSE gl/m4/gnulib-cache.m4
-SUBDIRS = gl src doc tests
+SUBDIRS = gl src tests
+
+if ENABLE_DOC
+SUBDIRS += doc
+endif
 
 gengetoptdoc_DATA = ChangeLog COPYING NEWS THANKS INSTALL README LICENSE
diff --git a/configure.ac b/configure.ac
index 0ee89db..915706c 100644
--- a/configure.ac
+++ b/configure.ac
@@ -61,6 +61,13 @@ AC_ARG_ENABLE(
 	AC_COMPILE_WARNINGS
 )
 
+AC_ARG_ENABLE(
+	[doc],
+	[--enable-doc			enable documentation],
+	[enable_doc=$enableval],
+	[enable_doc=yes])
+AM_CONDITIONAL(ENABLE_DOC, test x"$enable_doc" = xyes)
+
 AC_ARG_WITH(
 	[gengen],
 	[  --with-gengen=mygengen       gengen to use],
-- 
2.23.0