[PATCH: gdb/mi + doco] -var-update

[Eli Zaretskii]

> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Sun, 27 Feb 2005 14:18:11 +1300
> Cc: gdb-patches@sources.redhat.com
> 
> --- 18797,18805 ----
>   
>   Returns a list of the children of the specified variable object.  With
>   just the variable object name as an argument or with an optional
> ! preceding argument of 0 or @code{--no-values}, prints only the names
> ! of the variables.  With an optional value for @var{print-values} of 1
> ! or @code{--with-values}, also prints their values.

It's better to say

  If @var{print-values} is 1 or @code{--with-values}, also prints
  their values.

And similarly in the other hunk where @var{print-values} is
mentioned.

Otherwise, okay for the documentation part.