RFA: gdb/783 doc change

[Eli Zaretskii]

> From: Elena Zannoni <ezannoni@redhat.com>
> Date: Mon, 11 Nov 2002 19:40:00 -0500
> 
> Hmmm, the current documentation specifies that a command is:
> 
> mi-command ==> 
>        [ token ] "-" operation ( " " option )* [ " --" ] ( " " parameter )* nl 
> 
> I.e. the -- bit is optional. Doesn't this take already care of the PR?
> The PR was filed againt 5.2.1. So the doco was updated in between then
> and now.
> 
> Maybe I am misreading the PR, though.  You cannot remove '--' from
> the data-disasssemble doco because the command really uses it.
> The generic doco change seems ok.
> 
> I'll let Eli comment.

Andrew already responded to this (and I agree with what he said).