diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-11-27 09:16:03 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-11-27 09:16:03 -0800 |
| commit | ccd4fb3d2ec32d1db12412231d6a7d507039de9d (patch) | |
| tree | 9613ab64422bbb4d54e539ab700398c52f440db6 /leim/Makefile.in | |
| parent | de1e0d91fe4f58aa35d8071966d978a70c349a08 (diff) | |
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.
Diffstat (limited to 'leim/Makefile.in')
| -rw-r--r-- | leim/Makefile.in | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/leim/Makefile.in b/leim/Makefile.in index 21bea3ca2e..ccc15ae4b2 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 |