configure: optional build documentation, output

Add more output when running `./configure`.

Signed-off-by: Mikko Johannes Koivunalho <mikko.koivunalho@iki.fi>

diff --git a/configure.ac b/configure.ac
index 7889b324a53adfc9cce02d8d7b3a54dbc7f0a4fe..c4d439dd9856dc6b5bc08402a47138b6365ccfce 100644 (file)
--- 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 "=========================================="