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.

diff --git a/leim/ChangeLog b/leim/ChangeLog
index 46b7f90..03b80e4 100644 (file)
--- 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 21bea3c..ccc15ae 100644 (file)
--- 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