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