Re: [PATCH] Doc corrections to gdb.texinfo

Eli Zaretskii
2007-02-17T10:14:55Z

> 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?