Re: Variable pitch mode line

[Tomas Hlavaty]

On Thu 23 Dec 2021 at 15:28, Yuan Fu <casouri@gmail.com> wrote:
>> On Dec 23, 2021, at 3:00 PM, Tomas Hlavaty <tom@logand.com> wrote:
>> I see, textinfo does not use info files for html conversion (it uses
>> texi files) and the conversion from texi to info looses important
>> information, is that right?
>
> Yes.

thanks for explanation

> In my case, I encountered some breakages and have no way to fix
> them. There is just not enough information.

that is a shame