On Sun, Jul 24, 2022 at 09:37:34PM +0100, Gavin Smith wrote: > > I've committed a fix for this. There are quite a few contexts for > scanning in texinfo.tex that are all subtly different and a better > fix might unify/reduce some of them.
In any case, it seems to fix my issue. -- Pat
