diff options
author | Glenn Morris <rgm@gnu.org> | 2021-04-04 09:19:24 -0700 |
---|---|---|
committer | Glenn Morris <rgm@gnu.org> | 2021-04-04 09:19:24 -0700 |
commit | dd1aa7bc4ca6c1df1713ccac7c66e681d8444c21 (patch) | |
tree | a46340d06d52b771e8b642bc79b6a079cd65c028 /GNUmakefile | |
parent | dd5ba88afbb63f54603cc632fc55993c04531a85 (diff) | |
download | emacs-dd1aa7bc4ca6c1df1713ccac7c66e681d8444c21.tar.gz |
Make maintainer-clean delete generated files, as per standards
These are generated files that were once kept in the repository.
When they were removed from the repository, as a half-way measure
they were only deleted by "extraclean", but this was never
necessary and was not a proper use of that rule.
* admin/charsets/Makefile.in (gen-clean): New phony target.
(maintainer-clean): Delete generated files.
* admin/grammars/Makefile.in (gen-clean): New phony target.
(maintainer-clean): Delete generated files.
* admin/unidata/Makefile.in (gen-clean): New phony target.
(maintainer-clean): Delete generated files.
* leim/Makefile.in (gen-clean): New phony target.
(maintainer-clean): Delete generated files.
* GNUmakefile: Doc fix.
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 0e01b808a0f..5155487de28 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -50,8 +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 -- like maintainer-clean, and also delete all generated" - @echo " files, backup files and autosave files" + @echo "make extraclean -- like maintainer-clean, and also delete" + @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'" |