Re: [PATCH] Allow resetting an empty inferior-tty

[Eli Zaretskii <eliz at gnu dot org>]

> From: Simon Marchi <simon.marchi@ericsson.com>
> CC: Simon Marchi <simon.marchi@ericsson.com>
> Date: Wed, 24 Aug 2016 10:45:48 -0400
> 
> diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
> index f5dde61..f00729a 100644
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -2499,9 +2499,11 @@ display the name of the terminal that will be used for future runs of your
>  program.
>  
>  @table @code
> -@item set inferior-tty /dev/ttyb
> +@item set inferior-tty @var{tty}
>  @kindex set inferior-tty
> -Set the tty for the program being debugged to /dev/ttyb.
> +Set the tty for the program being debugged to @var{tty}.  Omitting @var{tty}
> +restores the default behavior, which is to use the same terminal as
> +@value{GDBN}.

Thanks.  If the argument is optional, please show it as such, as we do
elsewhere in the manual.

OK with this nit fixed.

P.S.  Btw, it is strange that your log entry says

  gdb/doc/ChangeLog:

	  * gdb.texinfo (Your Program’s Input and Output): Mention
	  possibility to unset inferior-tty.

whereas the node's name is "Input/Output", and the section's name is
"Your Program's Input and Output", without any non-ASCII characters.
What happened there?