@c GDB MANUAL configuration file.
@c
-@c Copyright (C) 1993, 1995, 1999, 2002, 2011 Free Software Foundation, Inc.
+@c Copyright (C) 1993-2016 Free Software 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 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