Re: A more radical cleanup for make bootstrap?

[Eli Zaretskii]

> From: Po Lu <luangruo@yahoo.com>
> Cc: Eli Zaretskii <eliz@gnu.org>,  gregory@heytings.org,
>   monnier@iro.umontreal.ca,  stefan@marxist.se,  emacs-devel@gnu.org
> Date: Tue, 20 Sep 2022 21:27:18 +0800
> 
> Lars Ingebrigtsen <larsi@gnus.org> writes:
> 
> > If that is something that people need to do a lot, we should instead
> > introduce a new target like "clean-elc".
> 
> Didn't Gerd say deleting all the checked in *.elc files was what "make
> bootstrap" was originally intended for, though?

Originally, only the *.elc files needed to be removed, yes.