show inferior-tty

[Daniel Jacobowitz]

On Tue, Jul 12, 2005 at 10:34:00AM -0400, Bob Rossi wrote:
> On Mon, Jul 11, 2005 at 02:13:57PM +1200, Nick Roberts wrote:
> > 
> > Firstly a doc error (GDB/MI -inferior-tty-show):
> > 
> >    The corresponding GDB command is `show inferior-tty /dev/pts/1'.
> > 
> > should presumably read:
> > 
> >    The corresponding GDB command is `show inferior-tty'.
> 
> Nick, thanks for noticing, here is the patch.
> 
> +2005-07-12  Bob Rossi  <bob@brasko.net>
> +
> +	* gdb.texinfo (GDB/MI Miscellaneous Commands): Fix -inferior-tty-show
> +	corresponding GDB command comment.

This is obviously correct; feel free to check it in.

-- 
Daniel Jacobowitz
CodeSourcery, LLC