comparison make-dist @ 24359:9c23e2b384a3

Fix command to update info files.
author Richard M. Stallman <rms@gnu.org>
date Sat, 20 Feb 1999 18:57:09 +0000
parents f14a9b714a8e
children 93502884159a
comparison
equal deleted inserted replaced
24358:a7e0a6973e7c 24359:9c23e2b384a3
209 209
210 if [ $update = yes ]; 210 if [ $update = yes ];
211 then 211 then
212 echo "Updating Info files" 212 echo "Updating Info files"
213 213
214 (cd man; make info) 214 (cd man; make -f Makefile.in srcdir=. info)
215 215
216 echo "Updating finder, custom and autoload data" 216 echo "Updating finder, custom and autoload data"
217 217
218 (cd lisp; make updates EMACS=$EMACS) 218 (cd lisp; make updates EMACS=$EMACS)
219 219