This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: RFA: fix node name (revised patch)
- From: "Eli Zaretskii" <eliz at elta dot co dot il>
- To: Jim Blandy <jimb at redhat dot com>
- Cc: gdb-patches at sources dot redhat dot com
- Date: Sat, 25 Oct 2003 14:57:06 +0200
- Subject: Re: RFA: fix node name (revised patch)
- References: <vt2he1yqbsl.fsf@zenia.home> <vt24qxyq85w.fsf@zenia.home>
- Reply-to: Eli Zaretskii <eliz at elta dot co dot il>
> From: Jim Blandy <jimb@redhat.com>
> Date: 24 Oct 2003 22:59:39 -0500
>
> Here's a revision of the patch that fixes the menu in the parent node,
> too. (Oops.)
Thanks. This is approved.
> 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). So, Eli, if your response to this patch is
> "You should update your texinfo.tex", then that's perfectly fine with
> me.
No, my response is that your patch is correct, for the resons I
explained in my other mail in this thread.