Re: Reworking loaddefs.el generation

[Eli Zaretskii]

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Date: Tue, 31 May 2022 20:09:30 +0200
> 
> Lars Ingebrigtsen <larsi@gnus.org> writes:
> 
> > So while a "make bootstrap" is faster, this common case is now slower.
> > I'll see what I can do about that.
> 
> Should be fixed now -- this case is now also faster than before, but
> marginally.

I don't understand how it could be faster, if it regenerates
loaddefs.el from scratch each time.