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 | 757ac794a50a9c0b180d4fef34fd8bbdb0cab017 (patch) | |
tree | 39f121abe32a1d20e886376195b8ff66afeadd6d /ChangeLog | |
parent | 60b187113b3ca9c57341c880644f90504a0b3ba0 (diff) | |
download | emacs-757ac794a50a9c0b180d4fef34fd8bbdb0cab017.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-#### |