From 980ab937d9829c91db08bbf830c4c951f13c4370 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Tue, 26 Jul 1994 19:53:49 +0000
Subject: [PATCH] Update the info files.

---
 make-dist | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/make-dist b/make-dist
index e5b7b32564a..e0f6ab588ee 100755
--- a/make-dist
+++ b/make-dist
@@ -121,6 +121,10 @@ fi
 ### 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.
-- 
2.39.5