# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1251512283 0
# Node ID dbb1369b5eafe91e0d4ca34a8372fa8b42db060f
# Parent  eee42a2205069f65b631f7af38eb0e91976f1f21
(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)

diff -r eee42a220506 -r dbb1369b5eaf ChangeLog
--- 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-####
diff -r eee42a220506 -r dbb1369b5eaf Makefile.in
--- a/Makefile.in	Sat Aug 29 02:07:42 2009 +0000
+++ b/Makefile.in	Sat Aug 29 02:18:03 2009 +0000
@@ -807,21 +807,26 @@
 .PHONY: info dvi dist check html
 
 info-real: 
-	-(cd doc/emacs; $(MAKE) $(MFLAGS) info)
-	-(cd doc/misc; $(MAKE) $(MFLAGS) info)
-	-(cd doc/lispref; $(MAKE) $(MFLAGS) info)
-	-(cd doc/lispintro; $(MAKE) $(MFLAGS) info)
+	(cd doc/emacs; $(MAKE) $(MFLAGS) info)
+	(cd doc/misc; $(MAKE) $(MFLAGS) info)
+	(cd doc/lispref; $(MAKE) $(MFLAGS) info)
+	(cd doc/lispintro; $(MAKE) $(MFLAGS) info)
 
 force-info:
-# Note that man/Makefile knows how to
-# put the info files in $(srcdir),
+# Note that man/Makefile knows how to put the info files in $(srcdir),
 # so we can do ok running make in the build dir.
+# This used to have a clause that exited with an error if MAKEINFO = no.
+# But it is inappropriate to do so without checking if makeinfo is
+# actually needed - it is not if the info files are up-to-date.  (Bug#3982)
+# Only the doc/*/Makefiles can decide that, so we let those rules run
+# and give a standard error if makeinfo is needed but missing.
+# While it would be nice to give a more detailed error message, that
+# would require changing every rule in doc/ that builds an info file,
+# and it's not worth it. This case is only relevant if you download a
+# release, then change the .texi files.
 info: force-info
 	@if test "$(MAKEINFO)" = "off"; then \
 	  echo "Configured --without-makeinfo, not building manuals" ; \
-	elif test "$(MAKEINFO)" = "no"; then \
-	  echo "makeinfo is missing - cannot build manuals" ; \
-	  exit 1 ; \
 	else \
 	  $(MAKE) $(MFLAGS) info-real ; \
 	fi