comparison make-dist @ 15568:30ac85981d2e

(long): Don't update getdate.c.
author Richard M. Stallman <rms@gnu.org>
date Sat, 29 Jun 1996 07:01:10 +0000
parents a68e276baffd
children 409a68abc61c
comparison
equal deleted inserted replaced
15567:65ec32b3b89f 15568:30ac85981d2e
138 echo "\`./configure.in' is newer than \`./configure'" >&2 138 echo "\`./configure.in' is newer than \`./configure'" >&2
139 echo "Running autoconf" >&2 139 echo "Running autoconf" >&2
140 autoconf || { x=$?; echo Autoconf FAILED! >&2; exit $x; } 140 autoconf || { x=$?; echo Autoconf FAILED! >&2; exit $x; }
141 fi 141 fi
142 142
143 ### Update getdate.c.
144 (cd lib-src; make -f Makefile getdate.c YACC="bison -y")
145
146 echo "Updating Info files" 143 echo "Updating Info files"
147 144
148 (cd man; make info) 145 (cd man; make info)
149 146
150 echo "Updating finder-inf.el" 147 echo "Updating finder-inf.el"