Re: [PATCH] Doc corrections to gdb.texinfo

Eli Zaretskii
2007-02-18T04:28:01Z

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