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 | b35841cae21453a1be792f81011f78f1db1fee21 (patch) | |
| tree | a486f6da859ad3b54af3b05363f4bf87336991b3 /make-dist | |
| parent | 59812d888fd4870211add275ad655d7663e0c9b1 (diff) | |
| download | emacs-b35841cae21453a1be792f81011f78f1db1fee21.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. |