Re: [PATCH] Add "scheduler-locking" to documentation index

[Eli Zaretskii <eliz@gnu.org>]

> Cc: Tom Tromey <tromey@adacore.com>
> Date: Wed, 10 May 2023 10:58:57 -0600
> From: Tom Tromey via Gdb-patches <gdb-patches@sourceware.org>
> 
> I noticed that "scheduler-locking" does not appear in the index of the
> gdb manual.  This patch corrects this oversight.
> ---
>  gdb/doc/gdb.texinfo | 2 ++
>  1 file changed, 2 insertions(+)
> 
> diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
> index 4ae84ec5a63..34552b6b80c 100644
> --- a/gdb/doc/gdb.texinfo
> +++ b/gdb/doc/gdb.texinfo
> @@ -7048,6 +7048,8 @@ locking the OS scheduler to allow only a single thread to run.
>  
>  @table @code
>  @item set scheduler-locking @var{mode}
> +@kindex set scheduler-locking
> +@cindex scheduler-locking
>  @cindex scheduler locking mode
>  @cindex lock scheduler
>  Set the scheduler locking mode.  It applies to normal execution,

Thanks.  I don't object, but do we really need both index entries?  I
think the second one should be enough.  But if you insist, I'm okay
with having both.