Merge GDB 7.5.1

gdb/doc/all-cfg.texi

 @c GDB MANUAL configuration file.  
 @c
 @c Copyright (C) 1993, 1995, 1999, 2002, 2011-2012 Free Software
 @c Foundation, Inc.
 @c
 @c NOTE: While the GDB manual is configurable (by changing these
 @c switches), its configuration is ***NOT*** automatically tied in to
 @c source configuration---because the authors expect that, save in
 @c unusual cases, the most inclusive form of the manual is appropriate
 @c no matter how the program itself is configured.
@@ skipping 14 matching lines @@
 @c
 @c Refrain from discussing how to configure sw and format doc?
 @clear PRECONFIGURED
 @c
 @c ----------------------------------------------------------------------
 @c STRINGS:
 @c
 @c Name of GDB program.  Used also for (gdb) prompt string.
 @set GDBP gdb
 @c 
-@c Name of GDBTUI program.
-@set GDBTUI gdbtui
-@c 
 @c Name of GDB product.  Used in running text.
 @set GDBN @sc{gdb}
 @c
 @c Name of host.  Should not be used in generic configs, but generic
 @c value may catch some flubs.
 @set HOST machine specific
 @c
 @c Name of GCC product
 @set NGCC @sc{gcc}
 @c 
 @c Name of GCC program
 @set GCC gcc