Don't delete ja-dic.el even in a bootstrap, since it is slow to remake

* leim/Makefile.in (extraclean): New.
(bootstrap-clean): Move ja-dic deletion to extraclean.

2 files changed, 9 insertions, 2 deletions

diff --git a/leim/ChangeLog b/leim/ChangeLog
index 46b7f904245..03b80e49e5a 100644
--- a/leim/ChangeLog
+++ b/leim/ChangeLog
@@ -1,5 +1,8 @@
 2013-11-27  Glenn Morris  <rgm@gnu.org>
 
+        * Makefile.in (extraclean): New.
+        (bootstrap-clean): Move ja-dic deletion to extraclean.
+
         Move ja-dic, quail, leim-list.el to ../lisp/leim.
         * Makefile.in (leimdir): New variable.
         (TIT_GB, TIT_BIG5, MISC, changed.tit, changed.misc)
diff --git a/leim/Makefile.in b/leim/Makefile.in
index 21bea3ca2eb..ccc15ae4b2e 100644
--- a/leim/Makefile.in
+++ b/leim/Makefile.in
@@ -140,16 +140,20 @@ ${leimdir}/ja-dic/ja-dic.el: $(srcdir)/SKK-DIC/SKK-JISYO.L
           -f batch-skkdic-convert -dir "$(leimdir)/ja-dic" \
           "$(srcdir)/SKK-DIC/SKK-JISYO.L"
 
-.PHONY: bootstrap-clean distclean maintainer-clean
+.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 -rf ${leimdir}/ja-dic
 
 distclean:
         rm -f Makefile
 
 maintainer-clean: distclean bootstrap-clean
 
+## We do not delete ja-dic, even in a bootstrap, because it rarely
+## changes and is slow to regenerate.
+extraclean:
+        rm -rf ${leimdir}/ja-dic
+
 ### Makefile.in ends here