Re: Relating multiple index entries to one table item

On Sat, Nov 26, 2022 at 03:04:37PM +0100, Patrice Dumas wrote:
> I thought a bit more on that issue, and indeed, even if the index
> entries lead to the @item when they are before the item, it could still
> make sense to reparent them to the @item, at the beginning instead of
> being before the @item, and, in HTML in the end of the previous <dt> or
> <dl>.

I have a change that is nearly ready that includes preceding index entries
inside <dt>.