From mboxrd@z Thu Jan  1 00:00:00 1970
From: Eli Zaretskii <eliz@is.elta.co.il>
To: Tom Tromey <tromey@redhat.com>
Cc: gdb-patches@sources.redhat.com
Subject: Re: PATCH: gdb --args
Date: Thu, 11 Oct 2001 01:02:00 -0000
Message-id: <Pine.SUN.3.91.1011011100143.18580M-100000@is>
References: <87ofnfm80i.fsf@creche.redhat.com>
X-SW-Source: 2001-10/msg00132.html

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."