[DOC] --args?

[Tom Tromey]

>>>>> "Michael" == Michael Snyder <msnyder@redhat.com> writes:

Michael> Should someone add the new "--args" option to the output of
Michael> "gdb --help"?

I think it is already there:

fleche. gdb --help | grep args
    gdb [options] --args executable-file [inferior-arguments ...]
  --args             Arguments after executable-file are passed to inferior

According to the ChangeLog I added this when I wrote the patch:

2001-11-21  Tom Tromey  <tromey@redhat.com>
	* main.c (captured_main): Added --args option.
	(print_gdb_help): Document --args.

Tom