Re: [v7] multi-executable support

[Eli Zaretskii <eliz@gnu.org>]

> From: Pedro Alves <pedro@codesourcery.com>
> Date: Mon, 12 Oct 2009 02:26:08 +0100
> Cc: Eli Zaretskii <eliz@gnu.org>
> 
> Here's the updated patch with docs fixed per review.

Thanks.

> Index: src/gdb/NEWS
> ===================================================================
> --- src.orig/gdb/NEWS	2009-10-11 19:45:41.000000000 +0100
> +++ src/gdb/NEWS	2009-10-11 20:33:58.000000000 +0100
> @@ -3,6 +3,40 @@

This part is fine.

> +may be retained after a process exits.  Inferiors have unique
> +identifiers that are different from process ids.  Usually each
> +inferior will also have its own distinct address space, although some
> +embedded targets may have several inferiors running in different parts
> +of a single address space.  For example, debugging programs that call
> +@code{vfork}, or embedded targets that may have several inferiors
> +running in different parts of a single address space.

The last two sentences say the same about embedded targets in two
slightly different ways.  Suggest to merge into a single sentence.

> +inferior.  Restarting the inferior after the @code{exec} call, with
> +e.g. the @code{run} command, restarts the executable the process was
   ^^^^^
This needs either a @: or a comma after "e.g.", to avoid it being
typeset as an end of a sentence.

Okay with these changes.