On Tuesday 12 August 2008 21:40:26, Daniel Jacobowitz wrote:
> On Tue, Aug 12, 2008 at 09:37:00PM +0100, Pedro Alves wrote:
> > On Tuesday 12 August 2008 21:11:33, Daniel Jacobowitz wrote:
> > > On Tue, Aug 12, 2008 at 09:07:19PM +0100, Pedro Alves wrote:
> > > > > Also, it would be helpful to have an index entry here, something
> > > > > like
> > > > >
> > > > >   @cindex non-stop mode, and @code{breakpoint always-inserted}
> > > >
> > > > Done, and done, I think.
> > >
> > > No, you added:
> > > > +@cindex non-stop mode
> > >
> > > I'm sure that one doesn't go here :-)
> >
> > Where does it go then?  I generated html, and I see two "non-stop mode"
> > index entries, one of them points here, to the auto option, the other
> > points to the "set non-stop mode" option.
>
> Compare the line you added to the line Eli suggested?  Eli's version
> will add an index entry for "non-stop mode, and breakpoint
> always-inserted".

Somehow, I understood that he meant two separate issues: add
a cindex; and, wrap the always-inserted references in @code.
Then, I understood that you meant that I should add that line
somewhere else, a bit above, or down...

oh, well...

-- 
Pedro Alves