Re: Variable pitch mode line

[Tomas Hlavaty]

On Thu 23 Dec 2021 at 12:51, Yuan Fu <casouri@gmail.com> wrote:
> I’ve tried that. Info files are not complex, but they can’t be
> reliably parsed 100% of the time. My code works for like 95% of the
> nodes, but there are always some corner cases where it breaks.

Why doesn't texinfo html output suffer from this problem?