Re: Reworking loaddefs.el generation

[Stefan Monnier]

> The first isn't too bad, because it's small, but org.texi is taking
> ~20 seconds to generate on my machine (which is doing nothing else at
> the time) plus, perhaps, 3 seconds for org.info.

The generation of `org.texi` from `org.org` is excruciatingly
slow, indeed.  Maybe we can better hide that latency with a more careful
scheduling, but maybe we could also try to speed it up: I mean if you
compare it to the time it takes for texi2pdf to process the result it's
rather shameful (after all, the generation of the `org.texi` seems
algorithmically a lot simpler).


        Stefan