[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Variable pitch mode line
From: |
Tomas Hlavaty |
Subject: |
Re: Variable pitch mode line |
Date: |
Fri, 24 Dec 2021 08:14:15 +0100 |
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
- Re: Variable pitch mode line, (continued)
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/23
- Re: Variable pitch mode line, Juri Linkov, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/23
- Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- Re: Variable pitch mode line,
Tomas Hlavaty <=
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- RE: [External] : Re: Variable pitch mode line, Drew Adams, 2021/12/23
- Re: [External] : Re: Variable pitch mode line, Yuan Fu, 2021/12/23
- RE: [External] : Re: Variable pitch mode line, Drew Adams, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Eli Zaretskii, 2021/12/24
- Re: Variable pitch mode line, Tomas Hlavaty, 2021/12/24