# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 775252429 0
# Node ID cdd772d2e59fa05188b495a915080eb0cb926fc4
# Parent  e206050c7d51c48925e01fecc7d5ac0b3598d767
Update the info files.

diff -r e206050c7d51 -r cdd772d2e59f make-dist
--- a/make-dist	Tue Jul 26 19:47:39 1994 +0000
+++ b/make-dist	Tue Jul 26 19:53:49 1994 +0000
@@ -121,6 +121,10 @@
 ### Update getdate.c.
 (cd lib-src; make -f Makefile getdate.c YACC="bison -y")
 
+echo "Updating Info files."
+
+(cd man; make info)
+
 echo "Updating finder-inf.el."
 
 ### update finder-inf.el.