diff options
author | Richard M. Stallman <rms@gnu.org> | 1994-07-11 20:29:09 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1994-07-11 20:29:09 +0000 |
commit | 02c06e6628f80ac802221423b7d86769f1184974 (patch) | |
tree | a23b04336009e3ef96562d1b1280fce580e8f733 /make-dist | |
parent | 2102328de56f022b42eabc936d6359f3c97f8d07 (diff) | |
download | emacs-02c06e6628f80ac802221423b7d86769f1184974.tar.gz |
Update finder-inf.el.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/make-dist b/make-dist index d8e698b5a6c..e5b7b32564a 100755 --- a/make-dist +++ b/make-dist @@ -121,6 +121,11 @@ fi ### Update getdate.c. (cd lib-src; make -f Makefile getdate.c YACC="bison -y") +echo "Updating finder-inf.el." + +### update finder-inf.el. +(cd src; emacs -batch -l finder -f finder-compile-keywords) + echo "Creating staging directory: \`${tempparent}'" mkdir ${tempparent} |