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 | 0588a76157987ab96848d53b73c846e9f16e55ac (patch) | |
| tree | fe2d6a0bee1b391da0e7633a277b593a3ae91887 /make-dist | |
| parent | 56d638abf9c516b6db7e846cde940be11b4f8baa (diff) | |
| download | emacs-0588a76157987ab96848d53b73c846e9f16e55ac.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} |