[PATCH] Doc corrections to gdb.texinfo

[Eli Zaretskii]

> From: Nick Roberts <nickrob@snap.net.nz>
> Date: Sun, 18 Feb 2007 10:33:45 +1300
> Cc: gdb-patches@sourceware.org
> 
> The cross reference name `file' doesn't mean anything to me.

It refers to the fact that you specify a file, as the surrounding text
suggests.  Moreover, at least in the stand-alone Info reader, the
``file'' thing causes it to look for the string "file" in the
referenced node and put point there, if found.  So it looks like in
this case, whoever added that ``file'' part, actually knew what they
were doing.

> In any case I think that the section name being linked to is
> clearer.

We can have them both: your change left the second argument of @pxref
empty.  How about leaving ``file'' in the second argument, and adding
your 3rd arg?