[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: On being web-friendly and why info must die
From: |
chad |
Subject: |
Re: On being web-friendly and why info must die |
Date: |
Mon, 8 Dec 2014 15:39:21 -0800 |
> On 08 Dec 2014, at 13:41, Stefan Monnier <address@hidden> wrote:
>
>>> I think I understand why they don't want to fix the processing speed.
>>> But we should still push them to provide workarounds. "Separate
>>> compilation" would solve this problem
>> It might, yes. But that sounds like more work than switching input formats
>> would be,
>
> Why? Are you saying this would require work on our side? I'd assume
> this work would mostly be on the Texinfo-maintainers side.
Haven't the Texinfo maintainers already repeatedly said "yes, we
know the new version is very slow. We can't find anyone to do the
necessary work otherwise.", thus forcing the choice between speed
and unicode support?
~Chad
- Re: On being web-friendly and why info must die, (continued)
- Re: On being web-friendly and why info must die, David Kastrup, 2014/12/07
- Re: On being web-friendly and why info must die, Paul Eggert, 2014/12/07
- Re: On being web-friendly and why info must die, Stefan Monnier, 2014/12/07
- Re: On being web-friendly and why info must die, Paul Eggert, 2014/12/08
- Re: On being web-friendly and why info must die, David Engster, 2014/12/08
- Re: On being web-friendly and why info must die, David Kastrup, 2014/12/08
- Re: On being web-friendly and why info must die, Paul Eggert, 2014/12/09
- Re: On being web-friendly and why info must die, David Kastrup, 2014/12/09
- Re: On being web-friendly and why info must die, Paul Eggert, 2014/12/09
- Re: On being web-friendly and why info must die, Stefan Monnier, 2014/12/08
- Re: On being web-friendly and why info must die,
chad <=
- Re: On being web-friendly and why info must die, Stefan Monnier, 2014/12/08
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/09
- Re: On being web-friendly and why info must die, David Kastrup, 2014/12/09
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/09
- Re: On being web-friendly and why info must die, andres . ramirez, 2014/12/09
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/09
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/08
- Re: On being web-friendly and why info must die, Paul Eggert, 2014/12/09
- Re: On being web-friendly and why info must die, Stefan Monnier, 2014/12/09
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/07