diff options
| -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} |