> >     gdb/doc/ChangeLog:
> >     
> >             Tom Tromey  <tromey@redhat.com>
> >             * gdb.texinfo (File Options): Document -x on .py files.
> >             (Command Files): Document handling of Python scripts.
> 
> Okay for this part, except that:

Ooops, sorry - I was confused as to the status of the documentation.
Somehow, I managed to understand that your approval of the change
included the approval of the documentation update. I apologize.

I checked in this patch, to fix the issue you spotted.

2010-01-19  Joel Brobecker  <brobecker@adacore.com>

        * gdb.texinfo (Command Files): Fix typo.

-- 
Joel