diff make-dist @ 8201:686198604dc7

Update finder-inf.el.
author Richard M. Stallman <rms@gnu.org>
date Mon, 11 Jul 1994 20:29:09 +0000
parents bd5b4c5dda7f
children cdd772d2e59f
line wrap: on
line diff
--- a/make-dist	Mon Jul 11 20:10:07 1994 +0000
+++ b/make-dist	Mon Jul 11 20:29:09 1994 +0000
@@ -121,6 +121,11 @@
 ### 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}