Re: Relating multiple index entries to one table item

On Sat, Nov 26, 2022 at 04:45:24PM +0000, Gavin Smith wrote:
> On Wed, Nov 23, 2022 at 11:56:30PM +0100, Patrice Dumas wrote:
> > As I said before I do not think that it is right to merge the first
> > index entry with the @item, but that's a separate issue.
> 
> I have nuked the relate_index_entries_to_table_entries transformation
> which made this association.  According to the changelog, I introduced
> this code in November 2020.  This may remove some copiable anchors from
> HTML manuals, for @item in @table.  We'll have to decide if and when
> such should still be output.

Looks perfect to me.

-- 
Pat