show inferior-tty

[Bob Rossi]

On Tue, Jul 12, 2005 at 10:40:48AM -0400, Daniel Jacobowitz wrote:
> 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.

Thanks, done.

Bob Rossi