Re: gdb.texinfo index problem

[Jim Blandy <jimb at zwingli dot cygnus dot com>]

Looks like a bug in gdb.texinfo to me.  I'd delete that last
@syncodeindex command.

> I'm looking at gdb/doc/gdb.texinfo and the last @syncodeindex entry in
> the code region below is redundant.  In fact if not removed or commented
> out, TeX will not generate gdb.cp entries, which results in the empty
> index page being generated.
> 
> Could someone verify if this is indeed a gdb.texinfo problem or if I was
> using some older version of TeX or texinfo?  In 'fixing' this problem I
> did upgrade by installing tetex-1.0.6-7 and texinfo-4.0-5 onto my RedHat
> 6.0 system.
> 
> - Jimmy
> 
> @c readline appendices use @vindex, @findex and @ftable,
> @c annotate.texi uses @findex.
> @syncodeindex vr cp
> @syncodeindex fn cp
> 
> @c gdbmi uses @findex
> @syncodeindex fn cp
> 
> 
>