[PATCH] Doc corrections to gdb.texinfo

[Eli Zaretskii]

> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Fri, 16 Feb 2007 16:59:25 +1300
> 
> Probably obvious, but not committed just in case.
> 
> OK to commit?

Thanks, all the changes are okay with me, with the exception of this
one:

> *************** Out of @value{GDBN}}).
> *** 11458,11465 ****
>   Occasionally it is necessary to change to a different file during a
>   @value{GDBN} session.  Or you may run @value{GDBN} and forget to
>   specify a file you want to use.  Or you are debugging a remote target
> ! via @code{gdbserver} (@pxref{Server, file}).  In these situations the
> ! @value{GDBN} commands to specify new files are useful.
>   
>   @table @code
>   @cindex executable file
> --- 11458,11466 ----
>   Occasionally it is necessary to change to a different file during a
>   @value{GDBN} session.  Or you may run @value{GDBN} and forget to
>   specify a file you want to use.  Or you are debugging a remote target
> ! via @code{gdbserver} (@pxref{Server, , Using the gdbserver
> ! program}).  In these situations the @value{GDBN} commands to specify
> ! new files are useful.
>   
>   @table @code
>   @cindex executable file

Can you explain why you thought this change was necessary?