Re: Relating multiple index entries to one table item

[Patrice Dumas]

On Sat, Nov 26, 2022 at 03:58:59PM +0000, Gavin Smith wrote:
> On Thu, Nov 24, 2022 at 12:07:47AM +0100, Patrice Dumas wrote:
> > It is also possible to do something when the element is first
> > encountered, with $default_types_open{'table_term'} = 
> > \&_open_table_term_type;
> > though I am not sure at all that it would help you.
> 
> I used this, thanks.  I opened <dt> at the 'table_term' so that it
> would include any index entries that were inside the 'table_term'.

I just pushed a commit which removes _open_table_term_type.  Feel free
to revert it if you need to.

-- 
Pat