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"