# HG changeset patch
# User diego
# Date 1216297487 0
# Node ID 4411ed11575ebe89bf1b5f8cef7569c5c49c35bd
# Parent  0318eb9b09f1efbdd940ca55d97631e2c3719d24
Simplify summary output, add an extra empty line to it.

diff -r 0318eb9b09f1 -r 4411ed11575e configure
--- a/configure	Thu Jul 17 12:22:05 2008 +0000
+++ b/configure	Thu Jul 17 12:24:47 2008 +0000
@@ -8605,18 +8605,14 @@
 
   Languages:
     Messages/GUI: $_language
-EOF
-
-echo ${_echo_n} "    Manual pages: $MAN_LANG_ALL ${_echo_c}"
-echo
-
-cat << EOF
+    Manual pages: $MAN_LANG_ALL
 
   Enabled optional drivers:
     Input: $_inputmodules
     Codecs: $_codecmodules
     Audio output: $_aomodules
     Video output: $_vomodules
+
   Disabled optional drivers:
     Input: $_noinputmodules
     Codecs: $_nocodecmodules