From 42bf6fd291211f765aa4158a8c498ede61fe402d Mon Sep 17 00:00:00 2001
From: Mikko Johannes Koivunalho <mikko.koivunalho@iki.fi>
Date: Thu, 29 Aug 2019 16:52:52 +0200
Subject: [PATCH] configure: optional build documentation, output

Add more output when running `./configure`.

Signed-off-by: Mikko Johannes Koivunalho <mikko.koivunalho@iki.fi>
---
 configure.ac | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/configure.ac b/configure.ac
index 7889b32..c4d439d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -449,4 +449,11 @@ else
 fi
 echo "POSIX regular expressions ............ $result"
 
+if test "xtrue" = x"$enable_build_docs"; then
+    result="yes"
+else
+    result="no"
+fi
+echo "build docs ........................... $result"
+
 echo "=========================================="
-- 
2.40.0