Re: Slow generation of Org manual

[Ihor Radchenko <yantar92@posteo.net>]

Eli Zaretskii <eliz@gnu.org> writes:

> The generation of the Org manual from org.org on the master branch is
> again taking a long time.  On one system I use (which is relatively
> slow), it takes a whopping 4.5 min.  On a much faster system it still
> takes more than 20 sec.
>
> Can this be sped-up, please?

I do not think that it has anything to do with Org.
I also observed slow generation of the manual on master, but it was a
result of Org manual being generated _before_ Org mode is compiled. If I
do

time (touch doc/misc/org.org && make)

_after_ full compilation, I am getting

real	0m10.850s
user	0m10.548s
sys	0m0.293s

This is the usual time I saw in the earlier versions, after we bumped
the gc-cons-threshold.

-- 
Ihor Radchenko // yantar92,
Org mode contributor,
Learn more about Org mode at <https://orgmode.org/>.
Support Org development at <https://liberapay.com/org-mode>,
or support my work at <https://liberapay.com/yantar92>