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