comparison make-dist @ 8345:cdd772d2e59f

Update the info files.
author Richard M. Stallman <rms@gnu.org>
date Tue, 26 Jul 1994 19:53:49 +0000
parents 686198604dc7
children f7ae124181cd
comparison
equal deleted inserted replaced
8344:e206050c7d51 8345:cdd772d2e59f
118 autoconf 118 autoconf
119 fi 119 fi
120 120
121 ### Update getdate.c. 121 ### Update getdate.c.
122 (cd lib-src; make -f Makefile getdate.c YACC="bison -y") 122 (cd lib-src; make -f Makefile getdate.c YACC="bison -y")
123
124 echo "Updating Info files."
125
126 (cd man; make info)
123 127
124 echo "Updating finder-inf.el." 128 echo "Updating finder-inf.el."
125 129
126 ### update finder-inf.el. 130 ### update finder-inf.el.
127 (cd src; emacs -batch -l finder -f finder-compile-keywords) 131 (cd src; emacs -batch -l finder -f finder-compile-keywords)