# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 1102293761 0
# Node ID 5251b89bd389e6d3862ebd7f7f9b23c896cc5ef5
# Parent  5f1c0193e9847851574f76a922fec22faecd1b11
(info): Ignore errors building info files.

diff -r 5f1c0193e984 -r 5251b89bd389 Makefile.in
--- a/Makefile.in	Mon Dec 06 00:41:40 2004 +0000
+++ b/Makefile.in	Mon Dec 06 00:42:41 2004 +0000
@@ -719,9 +719,9 @@
 # put the info files in $(srcdir),
 # so we can do ok running make in the build dir.
 info: force-info
-	(cd man; $(MAKE) $(MFLAGS) info)
-	(cd lispref; $(MAKE) $(MFLAGS) info)
-	(cd lispintro; $(MAKE) $(MFLAGS) info)
+	-(cd man; $(MAKE) $(MFLAGS) info)
+	-(cd lispref; $(MAKE) $(MFLAGS) info)
+	-(cd lispintro; $(MAKE) $(MFLAGS) info)
 dvi:
 	(cd man; $(MAKE) $(MFLAGS) dvi)
 	(cd lispref; $(MAKE) $(MFLAGS) elisp.dvi)