On Fri, Jan 10, 2025 at 09:53:03PM +, Werner LEMBERG wrote:
>
> >> Could we change the referent index to the last one, rather than the
> >> first, as Werner mentioned it may often be more appropriate:
> >>
> >> Assuming that a large document has multiple indices, the most
> >> general ind
>> Could we change the referent index to the last one, rather than the
>> first, as Werner mentioned it may often be more appropriate:
>>
>> Assuming that a large document has multiple indices, the most
>> general index is normally the last one, not the first.
>>
>> I don't know how true th
On Fri, Jan 10, 2025 at 09:23:20PM +, Gavin Smith wrote:
> Could we change the referent index to the last one, rather than the
> first, as Werner mentioned it may often be more appropriate:
>
> Assuming that a large document has multiple indices, the most general
> index is normally the la
On Fri, Jan 10, 2025 at 10:01:16PM +0100, pertu...@free.fr wrote:
> On Thu, Jan 09, 2025 at 05:57:00AM +, Werner LEMBERG wrote:
> > Meanwhile I believe it would be fully sufficient for most users to add
> > a Texinfo command that specifies a node name for a section that
> > contains the index (
On Thu, Jan 09, 2025 at 05:57:00AM +, Werner LEMBERG wrote:
> Meanwhile I believe it would be fully sufficient for most users to add
> a Texinfo command that specifies a node name for a section that
> contains the index (or indices), and which is then used accordingly in
> the navigation bar, f
