Re: [RFA/doco] Document set/show print array-indexes

[Eli Zaretskii <eliz@gnu.org>]

> Date: Mon, 26 Sep 2005 21:09:35 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: gdb-patches@sources.redhat.com
> 
> OK, I also did a "make info", just to double-check, no error as well.

Thanks.

> Note that the other commands in the same section as also lacking
> this @kindex. I can add it for you if you like (separate patch, though).

Sorry, I should have checked my memory before asking for a @kindex.  I
now recall that I decided to have only one @kindex entry for all of
the "set print ..." family, and such an entry is already near the
beginning of this section.

So please don't add a @kindex entry for this new command.  Sorry for
the trouble.

>     <DT><CODE>set print array-indexes</CODE>
>     <DD><DT><CODE>set print array-indexes on</CODE>
>     
>     <DD><A NAME="IDX388"></A>
>     <A NAME="IDX389"></A>
>     Print the index of each element when displaying arrays.  May be more
>     convenient to locate a given element in the array or quickly find the
>     index of a given element in that printed array.  The default is off.
>     <P>
> 
> I think the NAME tag should be just before the two <CODE> sections.
> What do you think?

Yes, you are right.

> 2005-09-26  Joel Brobecker  <brobecker@adacore.com>
> 
>         * gdb.texinfo (Print Settings): Add documentation for set/show
>         print array-indexes.
> 
> Tested by building the HTML documentation and checking the result.
> Info documentation also built without any error.

Fine with me, after you remove the extra @kindex.

Thanks.