Re: [RFA/doco] Improve doc on how to execute a Python script from GDB.

[Eli Zaretskii <eliz at gnu dot org>]

> Date: Wed, 20 Jan 2010 08:08:28 +0400
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: gdb-patches@sourceware.org
> 
> Thanks for the review, Eli.

Thank you for working on this.

> gdb/doc/ChangeLog:
> 
>         * gdb.texinfo (File Options): Adjust the documentation of this
>         switch to refer to the "source" command rather than partially
>         duplicating some of the relevant information.
>         (Extending GDB): Introduce and document the set/show script-extension
>         setting.
>         (Command Files): Add note explaining that the "source" command
>         is also used to evalute scripts written in other languages.
>         Remove the short slightly incorrect reference to sourcing Python
>         scripts.
>         (Python Commands): Document how to execute a Python script from GDB.
> 
> Ok to checkin?

Yes, but only once ;-)

Thanks.