diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2023-09-24 15:30:01 +0300 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2023-09-24 15:30:01 +0300 |
| commit | 7d5fee0feaa5740f3fbbfc6d5f13855bf58b9c25 (patch) | |
| tree | 739733890723c3dfcb1b04ce8ffc256094c3d862 /make-dist | |
| parent | ead491d230721e6c12c849878cdcd2890cb0454b (diff) | |
| download | emacs-7d5fee0feaa5740f3fbbfc6d5f13855bf58b9c25.tar.gz | |
Support regeneration of ja-dic.el under '--with-small-ja-dic'
* lisp/international/ja-dic-cnv.el (skkdic-convert): Record the
value of SMALL_JA_DIC option used to produce ja-dic.el.
* leim/Makefile.in (small-ja-dic-option): New target, triggers
regeneration of ja-dic.el when the value of SMALL_JA_DIC option
changes by the configure script. Suggested by Ulrich Mueller
<ulm@gentoo.org>.
(${leimdir}/ja-dic/ja-dic.el): Depend on 'small-ja-dic-option'.
(Bug#66125)
* make-dist (possibly_non_vc_files):
* .gitignore: Add 'leim/small-ja-dic-option'.
Diffstat (limited to 'make-dist')
| -rwxr-xr-x | make-dist | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make-dist b/make-dist index 80c672dbf3a..57881d50f0d 100755 --- a/make-dist +++ b/make-dist @@ -357,6 +357,7 @@ possibly_non_vc_files=" MANIFEST aclocal.m4 configure admin/charsets/jisx2131-filter src/config.in + leim/small-ja-dic-option "$( find admin doc etc lisp \ \( -name '*.el' -o -name '*.elc' -o -name '*.map' -o -name '*.stamp' \ |