Mail Archives: djgpp-workers/2002/03/18/01:24:12
On Mon, 18 Mar 2002, I wrote:
> > Date: Sun, 17 Mar 2002 19:27:01 -0500
> > From: "Peter J. Farley III" <pjfarley AT dorsai DOT org>
> >
> > I successfully applied the patch to the 4.1 version of node.c, but the
> > results were the same. All of the @xref's send you to the "* Menu"
> > entry.
>
> Something is wrong: it works for me.
I have an idea what could go wrong: did you test this with a normal Info
file, or just with DIR?
I did the former (my DIR files are too precious to futz with ;-). That
is, I produced a something.info file from dir.txi, and then told Info to
display that file.
If the same works for you, it's possible that the special treatment Info
gives to DIR files somehow gets in the way.
To make sure your new makeinfo indeed produces the correct information
for the anchors, look at the tag table at the end of the Info files it
generates. There's a "Ref:" line there for each anchor; the number after
"Ref:" is the byte offset, counted from the first Node line of the file,
of the position where you should land when you follow the cross-reference
to that anchor. You should see that the old makeinfo produces identical
offsets for all the anchors in a menu, whereas the patched makeinfo
produces a different number for each anchor.
- Raw text -