diff ChangeLog @ 104694:dbb1369b5eaf

(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)
author Glenn Morris <rgm@gnu.org>
date Sat, 29 Aug 2009 02:18:03 +0000
parents 4ac126250d16
children 978084a76b60
line wrap: on
line diff
--- a/ChangeLog	Sat Aug 29 02:07:42 2009 +0000
+++ b/ChangeLog	Sat Aug 29 02:18:03 2009 +0000
@@ -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-####