aboutsummaryrefslogtreecommitdiffstats
path: root/make-dist
diff options
context:
space:
mode:
authorRichard M. Stallman <[email protected]>1994-07-26 19:53:49 +0000
committerRichard M. Stallman <[email protected]>1994-07-26 19:53:49 +0000
commit980ab937d9829c91db08bbf830c4c951f13c4370 (patch)
tree9f3f1ad49914742e4678e1643b46e1dffe94ca30 /make-dist
parent9c308ed258917b661a2ebd101484ec0b7cb70b4b (diff)
Update the info files.
Diffstat (limited to 'make-dist')
-rwxr-xr-xmake-dist4
1 files changed, 4 insertions, 0 deletions
diff --git a/make-dist b/make-dist
index e5b7b32564..e0f6ab588e 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.