Re: [PATCH 1/3] Documentation for Python -P commandline support

Eli Zaretskii
2019-07-22T14:42:00Z

> From: Kevin Buettner <kevinb@redhat.com>
> Cc: Kevin Buettner <kevinb@redhat.com>
> Date: Sun, 21 Jul 2019 16:54:25 -0700
>
> gdb/doc/ChangeLog:
>
> * gdb.texinfo (Mode Options): Add documentation for -P.

Thanks.

> +Python as @code{sys.argv}. This option is only available if Python
> +scripting support was enabled when @value{GDBN} was configured.

I'd say "when @value{GDBN} was built". It's more clear, I think.

Otherwise, this part is OK, but we should also mention this in NEWS.