Re: PATCH: gdb --args

[Eli Zaretskii <eliz@is.elta.co.il>]

On 10 Oct 2001, Tom Tromey wrote:

> Ok to commit?

Thanks.

The patch to gdb.texinfo is approved, with these minor comments:

> +You can optionally have @code{@value{GDBP}} pass any arguments after the

Please use @value{GDBN} here, and please don't use @code around it.
GDBP expands into "(gdb)", the GDB command-line prompt, not to "GDB".

>  You can run @code{@value{GDBP}} without printing the front material, which describes

This line (which already was in the manual) has the same error.  Could
you please correct it as well?

> +@item --args
> +@cindex @code{--args}
> +Change interpretation of command line so that arguments following the
> +executable file are passed as command line arguments to the inferior.
> +This option stops option processing.

Unless I misunderstand what you wanted to say, I think the last
sentence would be clearer if you say "This option stops processing of
any further options."