Re: [PATCH] Doc corrections to gdb.texinfo

[Nick Roberts <nickrob at snap dot net dot nz>]

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

The cross reference name `file' doesn't mean anything to me.  Perhaps the
author was confused by the name of the node that the link is already in.  In
any case I think that the section name being linked to is clearer.

-- 
Nick                                           http://www.inet.net.nz/~nickrob