diff options
| -rw-r--r-- | leim/ChangeLog | 3 | ||||
| -rw-r--r-- | leim/Makefile.in | 5 |
2 files changed, 6 insertions, 2 deletions
diff --git a/leim/ChangeLog b/leim/ChangeLog index 03b80e49e5a..b5099b5a442 100644 --- a/leim/ChangeLog +++ b/leim/ChangeLog @@ -1,5 +1,8 @@ 2013-11-27 Glenn Morris <rgm@gnu.org> + * Makefile.in (bootstrap-clean): No need to delete .elc, + lisp/ rules will do that. + * Makefile.in (extraclean): New. (bootstrap-clean): Move ja-dic deletion to extraclean. diff --git a/leim/Makefile.in b/leim/Makefile.in index ccc15ae4b2e..9fe71ae6fe1 100644 --- a/leim/Makefile.in +++ b/leim/Makefile.in @@ -143,8 +143,7 @@ ${leimdir}/ja-dic/ja-dic.el: $(srcdir)/SKK-DIC/SKK-JISYO.L .PHONY: bootstrap-clean distclean maintainer-clean extraclean bootstrap-clean: - rm -f ${TIT_MISC} ${TIT_MISC:.el=.elc} \ - ${leimdir}/leim-list.el changed.tit changed.misc + rm -f ${TIT_MISC} ${leimdir}/leim-list.el changed.tit changed.misc distclean: rm -f Makefile @@ -153,6 +152,8 @@ maintainer-clean: distclean bootstrap-clean ## We do not delete ja-dic, even in a bootstrap, because it rarely ## changes and is slow to regenerate. +## TODO? Could consider doing the same with TIT_MISC, though those +## are much faster to generate. extraclean: rm -rf ${leimdir}/ja-dic |