From c3aa3efac82b265a814664101423b66936d607b1 Mon Sep 17 00:00:00 2001
From: Sebastien Helleu <flashcode@flashtux.org>
Date: Wed, 30 Jan 2008 17:49:45 +0100
Subject: [PATCH] Fixed minor display bug with doc in result of configure
 script

---
 configure.in | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/configure.in b/configure.in
index 33eb312c4..c8b5f7464 100644
--- a/configure.in
+++ b/configure.in
@@ -977,6 +977,12 @@ if test "x$debug" = "x2" ; then
     msg_debug="yes (with verbose messages)"
 fi
 
+if test "x$msg_doc" = "x"; then
+    msg_doc="no"
+else
+    msg_doc="yes: $msg_doc"
+fi
+
 echo ""
 echo "Enabled features:"
 echo "   Interfaces........... :$listgui"