Re: [RFA/RFC/DOC] Fix the different between behavior of "detach inferior" "kill inferior" and doc

[Eli Zaretskii <eliz@gnu.org>]

> From: Hui Zhu <teawater@gmail.com>
> Date: Fri, 30 Jul 2010 16:13:42 +0800
> Cc: Eli Zaretskii <eliz@gnu.org>
> 
> So I make a patch to update the doc.
> 
> Thanks,
> Hui
> 
> 2010-07-30  Hui Zhu  <teawater@gmail.com>
> 
> 	* gdb.texinfo (Inferiors and Programs): Update the introduce of
> 	"detach inferior" and "kill inferior".
> 
> 
> ---
>  doc/gdb.texinfo |    4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
> 
> --- a/doc/gdb.texinfo
> +++ b/doc/gdb.texinfo
> @@ -2481,12 +2481,12 @@ using the @w{@code{kill inferior}} comma
>  @kindex detach inferior @var{infno}
>  @item detach inferior @var{infno}
>  Detach from the inferior identified by @value{GDBN} inferior number
> -@var{infno}, and remove it from the inferior list.
> +@var{infno}.
> 
>  @kindex kill inferior @var{infno}
>  @item kill inferior @var{infno}
>  Kill the inferior identified by @value{GDBN} inferior number
> -@var{infno}, and remove it from the inferior list.
> +@var{infno}.
>  @end table

Assuming that the code behaves as intended (i.e. this isn't a bug), I
suggest the following text instead:

 Kill the inferior identified by @value{GDBN} inferior number
 @var{infno}.  Note that the inferior's entry still stays on the list
 of inferiors shown by @code{info inferiors}, but its Description will
 show @samp{<null>}.

and similarly for "detach".

Thanks.