> From: Tom Tromey <tromey@redhat.com>
> Cc: pedro@codesourcery.com, gdb-patches@sourceware.org
> Date: Thu, 02 Jun 2011 15:00:32 -0600
>
> Perhaps, "@var{code} is the exit code of the inferior; ..."?
Yes, that'd be good. Alternatively, you could say
The value of the @code{exit-code} field is the exit code of the inferior