[patch/ob:doco!] Fix an @var{[]}

[Andrew Cagney]

Hello,

This tweaks a use of @var{} so that the [] are outside.  Stops a texinfo 
warning and makes things consistent with other cases.

committed,
Andrew
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: diffs
URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20020803/d11e74d9/attachment.ksh>