Re: Git master head build failure?

[Stefan Kangas]

Eli Zaretskii <eliz@gnu.org> writes:

>> I wasn't aware of 'extraclean' and it is not listed in 'make help'.
>
> Another nit to fix, I guess.

Does this look okay?

diff --git a/GNUmakefile b/GNUmakefile
index f27163840b..0df5a9abba 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -50,6 +50,8 @@ help:
        @echo "make distclean        -- delete all build and configuration 
files,"
        @echo "                         leave only files included in source
distribution"
        @echo "make maintainer-clean -- delete almost everything that can be
regenerated"
+       @echo "make extraclean       -- delete everything that can be
regenerated, as well as"
+       @echo "                         backup and autosave files"
        @echo "make bootstrap        -- delete all compiled files to force a
new bootstrap"
        @echo "                         from a clean slate, then build in
the normal way"
        @echo "make uninstall        -- remove files installed by 'make 
install'"