Re: GDB MI Reverse Commands added [2 of 3]

[Eli Zaretskii <eliz@gnu.org>]

> From: Vladimir Prus <vladimir@codesourcery.com>
> Date: Wed, 16 Dec 2009 11:00:46 +0300
> Cc: Jakob Engblom <jakob@virtutech.com>,
>  "gdb-patches@sourceware.org" <gdb-patches@sourceware.org>,
>  Eli Zaretskii <eliz@gnu.org>
> 
> Personally, I'd find it better if the --reverse option be described
> in one place, either as top-level section under "MI", and at the
> begining of "Execution commands" section.

It doesn't really matter either way, except for one consideration: if
someone uses the manual as a reference, and reads only about a single
command, they would be surprised to see the description of all the
options except one.

For this reason, I think it is better to do it the way Jakob wrote the
text.

If you are still unconvinced, please tell why you prefer to have the
description of --reverse in one place.  Maybe I'm missing something.