RFA: fix node name (revised patch)

[Eli Zaretskii]

> From: Jim Blandy <jimb@redhat.com>
> Date: 24 Oct 2003 22:59:39 -0500
> 
> I was trying to figure out why this hasn't bothered anyone yet --- the
> node name with the single quotes has been in there for months --- and
> I realized that it is because I'm using an older version of
> texinfo.tex (circa 1999).

The real question that we should ask ourselves wrt this is: how come
your older texinfo.tex was being used instead of the one that comes
with GDB (which, I hope, is new enough).

Can you look into this, please?