diff options
Diffstat (limited to 'leim/Makefile.in')
| -rw-r--r-- | leim/Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
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 |