diff options
author | Richard M. Stallman <[email protected]> | 1994-07-26 19:53:49 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 1994-07-26 19:53:49 +0000 |
commit | 980ab937d9829c91db08bbf830c4c951f13c4370 (patch) | |
tree | 9f3f1ad49914742e4678e1643b46e1dffe94ca30 /make-dist | |
parent | 9c308ed258917b661a2ebd101484ec0b7cb70b4b (diff) |
Update the info files.
Diffstat (limited to 'make-dist')
-rwxr-xr-x | make-dist | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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. |