changeset 58785:5251b89bd389

(info): Ignore errors building info files.
author Richard M. Stallman <rms@gnu.org>
date Mon, 06 Dec 2004 00:42:41 +0000
parents 5f1c0193e984
children bb0ccdf15685
files Makefile.in
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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)