|
From: | Po Lu |
Subject: | Re: master 3fd2b00a4b 2/2: ; * Makefile.in: Add "make bootstrap configure=default" as a first choice. |
Date: | Mon, 19 Sep 2022 16:01:20 +0800 |
User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux) |
Lars Ingebrigtsen <larsi@gnus.org> writes: > Yes, but it's a pretty obscure thing to have to remember, which is why > we shouldn't tell people to do that when simpler, more straightforward > alternatives exist. make bootstrap does not remove auto-save and lock files, so it is definitely not the same as make extraclean.
[Prev in Thread] | Current Thread | [Next in Thread] |