[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: On being web-friendly and why info must die
From: |
Stefan Monnier |
Subject: |
Re: On being web-friendly and why info must die |
Date: |
Sun, 07 Dec 2014 21:30:57 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
> Texinfo 5 uses newer technology and supports Unicode characters etc., but is
> wwwwaaaaayyyyyyy toooo ssllloooooowwww, so slow that it routinely hinders me
> (and no doubt others) from improving the Emacs documentation.
Indeed the slowdown (factor 100 IIRC last time I measured it) is
a serious problem.
> Although I and others have reported the performance bug to the Texinfo
> maintainers, they've made it clear that the problem is not likely to be
> fixed any time soon.
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: the whole Elisp manual is
enormous, but if we could update the manual by only processing those
files which have changed, then I think the speed of Texinfo-5's
processing would become acceptable.
Stefan
- 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/05
- Re: On being web-friendly and why info must die, Eric S. Raymond, 2014/12/05
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/06
- Re: On being web-friendly and why info must die, Paul Eggert, 2014/12/06
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/06
- Re: On being web-friendly and why info must die, Eric S. Raymond, 2014/12/06
- Re: On being web-friendly and why info must die, Eli Zaretskii, 2014/12/06
- Re: On being web-friendly and why info must die, Stefan Monnier, 2014/12/06
- 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 <=
- 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, Lars Magne Ingebrigtsen, 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, Lars Magne Ingebrigtsen, 2014/12/10
- Re: On being web-friendly and why info must die, David Kastrup, 2014/12/10