# HG changeset patch
# User Nick Roberts <nickrob@snap.net.nz>
# Date 1139953331 0
# Node ID 32dec66a83cf28047e529b01dbd5f921d5dc034a
# Parent  da69cee7c84c186e9d738229e170b8284b2b9cc0
(GDB Graphical Interface): Replace
gdb-use-inferior-io-buffer with gdb-use-separate-io-buffer.

diff -r da69cee7c84c -r 32dec66a83cf man/building.texi
--- a/man/building.texi	Tue Feb 14 21:39:26 2006 +0000
+++ b/man/building.texi	Tue Feb 14 21:42:11 2006 +0000
@@ -841,7 +841,7 @@
 +--------------------------------+--------------------------------+
 @end example
 
-  However, if @code{gdb-use-inferior-io-buffer} is @code{nil}, the I/O
+  However, if @code{gdb-use-separate-io-buffer} is @code{nil}, the I/O
 buffer does not appear and the source buffer occupies the full width
 of the frame.
 
@@ -972,12 +972,12 @@
 
 @table @asis
 @item Input/Output Buffer
-@vindex gdb-use-inferior-io-buffer
-If the variable @code{gdb-use-inferior-io-buffer} is non-@code{nil},
+@vindex gdb-use-separate-io-buffer
+If the variable @code{gdb-use-separate-io-buffer} is non-@code{nil},
 the executable program that is being debugged takes its input and
 displays its output here.  Otherwise it uses the GUD buffer for that.
 To toggle whether GUD mode uses this buffer, do @kbd{M-x
-gdb-use-inferior-io-buffer}.  That takes effect when you next
+gdb-use-separate-io-buffer}.  That takes effect when you next
 restart the program you are debugging.
 
 The history and replay commands from Shell mode are available here,