Re: [PATCH 4/4] GDB/MI: inferior standard I/O redirection

[Eli Zaretskii <eliz@gnu.org>]

> From: Cleber Rosa <crosa@redhat.com>
> Cc: areis@redhat.com, palves@redhat.com, Cleber Rosa <crosa@redhat.com>
> Date: Mon,  5 Oct 2015 08:46:57 -0300
> 
> This introduces the following MI commands:
> 
>  * -inferior-stdin-set
>  * -inferior-stdin-show
>  * -inferior-stdout-set
>  * -inferior-stdout-show
>  * -inferior-stderr-set
>  * -inferior-stderr-show
> 
> Which are the MI version of the inferior standard I/O redirection
> commands:
> 
>  * set inferior-stdin (aliased as stdin)
>  * show inferior-stdin
>  * set inferior-stdout (aliased as stdout)
>  * show inferior-stdout
>  * set inferior-stderr (aliased as stderr)

Thanks.

> gdb/doc/ChangeLog:
>     2015-10-05  Cleber Rosa  <crosa@redhat.com>
> 
>     * gdb.texinfo (info): Add documentation about the
>     -inferior-stdin-set, inferior-stdin-show, -inferior-stdout-set,
>     inferior-stdout-show, -inferior-stderr-set, inferior-stderr-show
>     commands.

I think these new MI commands should be mentioned in NEWS as well.

> +The corresponding @value{GDBN} command is @samp{set inferior-stdin} /tmp/answers.

I believe we use @code as markup for command names, not @samp.

Otherwise, the documentation part is OK.