On Tue, Nov 22, 2022 at 09:49:31PM +0000, Gavin Smith wrote: > On Tue, Nov 22, 2022 at 10:23:24PM +0100, Patrice Dumas wrote: > > Maybe not important if there are other changes afterwards, but with the > > change, in HTML, the result is now invalid, as the index entries end up > > not associated with the index term <dt>, but after the index term. This > > is not correct, as the outer <dl> should only contain <dl> and <dt>. It
Should read, the outer <dl> should only contain <dt> and <dd>. > > may not be an issue at all if you do further changes, or it could be an > > issue to be solved in the HTML converter. > > I'll check this output and see I can change it to be valid again.
