From 859f9a9754708572a6289853d7d95b9ee3eae589 Mon Sep 17 00:00:00 2001
From: Marcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Date: Mon, 19 Jun 2017 13:31:10 +0200
Subject: configure: Add flag to disable documentation build.

* configure.ac: Add new option --disable-doc.
(BUILD_DOC): New automake conditional.
* Makefile.am (SUBDIRS): Make doc optional based on BUILD_DOC.
(DISTCHECK_CONFIGURE_FLAGS): New variable.

Signed-Off-By: Marcus Brinkmann <mb@g10code.com>
---
 configure.ac | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'configure.ac')

diff --git a/configure.ac b/configure.ac
index 963a76b..cd36183 100644
--- a/configure.ac
+++ b/configure.ac
@@ -454,6 +454,17 @@ else
   fi
 fi
 
+
+#
+# Extra features
+#
+build_doc=yes
+AC_ARG_ENABLE([doc], AC_HELP_STRING([--disable-doc],
+                                    [do not build the documentation]),
+                     build_doc=$enableval, build_doc=yes)
+AM_CONDITIONAL([BUILD_DOC], [test "x$build_doc" != xno])
+
+
 #
 # Create the config files.
 #
-- 
cgit v1.2.3