Re: [PATCH] command trace / source verbose mode

[Eli Zaretskii <eliz@gnu.org>]

> Date: Wed, 16 Nov 2005 16:45:28 +0000
> From: Andrew STUBBS <andrew.stubbs@st.com>
> 
> +  add_setshow_boolean_cmd ("commandtrace", no_class, &commandtrace, _("\
> +Set tracing of GDB CLI commands."), _("\
> +Show state of GDB CLI command tracing."), _("\
> +When 'on', each command executed is displayed."),

The last sentence will read better if it is rephrased as follows:

  When 'on', each command is displayed as it is executed.

> Index: src/gdb/doc/gdb.texinfo

Thanks.  Please take care of the following gotchas, and then the
documentation patch can go in when the code is approved.

> +Execute @value{GDBN} commands from file @var{file}.

It is better to say

  Execute @value{GDBN} commands from the named @var{file}.

> +If you need to debug user-defined commands or sourced files you may find it
> +useful to enable command tracing. In this mode each command will be printed
                                   ^^
Need two blanks here.

> +If @code{-v}, for verbose mode, is given then then each command will
                                            ^^^^^^^^^
One "then" too much.

> +be displayed as it is executed. The option may be given before or after
                                 ^^
Need two blanks here.