[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: On being web-friendly and why info must die
From: |
David Kastrup |
Subject: |
Re: On being web-friendly and why info must die |
Date: |
Tue, 09 Dec 2014 18:28:43 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
Eli Zaretskii <address@hidden> writes:
>> From: Stefan Monnier <address@hidden>
>> Date: Mon, 08 Dec 2014 21:19:34 -0500
>> Cc: emacs <address@hidden>
>>
>> That's not what I'm talking about. I know that the MB/s processed by
>> Texinfo-5 is much slower than Texinfo-4 and is unlikely to improve
>> noticeably in the foreseeable future. What I'm asking is whether
>> Texinfo-5 could be improved so that it can do the work by processing
>> fewer megabytes, because it would only process the modified files: the
>> Elisp manual is about 3MB of Texinfo code, but usually you only work on
>> a single one of those files, which is at most 300kB, so doing
>> separate-compilation would give you a speed up of at least 10, making
>> the result a lot more tolerable (and on which we can have control, so if
>> it's still not fast enough we can split the manual into smaller files).
>
> Makeinfo validates pointers and cross-references that could lead into
> many other parts. Separate compilation would need to leave some info
> about those other parts in a form that is much more easily readable.
Much more easily readable than Texinfo source? Texinfo source does not
seem hard to parse to me. What am I overlooking?
--
David Kastrup
- Re: On being web-friendly and why info must die, (continued)
- 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, 2014/12/08
- 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 <=
- 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
- Re: On being web-friendly and why info must die, David Kastrup, 2014/12/06
- Re: On being web-friendly and why info must die, Richard Stallman, 2014/12/07
- Re: On being web-friendly and why info must die, Steinar Bang, 2014/12/06