diff options
| author | Glenn Morris <rgm@gnu.org> | 2009-08-29 02:18:03 +0000 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2009-08-29 02:18:03 +0000 |
| commit | ffd8aba987e020c7b272766a60de9e7ff5f1dd28 (patch) | |
| tree | 38a239770483f5db6a874f5673fc29c17fc2b590 /ChangeLog | |
| parent | efbc652a8f2fece5ddb2b971444155d9bfd20cad (diff) | |
| download | emacs-ffd8aba987e020c7b272766a60de9e7ff5f1dd28.tar.gz | |
(info-real): Don't ignore errors from doc Makefiles.
(info): Don't give an error in the absence of makeinfo - let the doc
Makefiles do that, if the info files need rebuilding. (Bug#3982)
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index adf190621ed..ceddd01aa06 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2009-08-29 Glenn Morris <rgm@gnu.org> + + * Makefile.in (info-real): Don't ignore errors from doc Makefiles. + (info): Don't give an error in the absence of makeinfo - let the doc + Makefiles do that, if the info files need rebuilding. (Bug#3982) + 2009-08-23 Ken Raeburn <raeburn@raeburn.org> * Makefile.in (install-arch-indep): If the versioned DOC-#### |