diff options
author | Richard M. Stallman <rms@gnu.org> | 2004-12-06 00:42:41 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 2004-12-06 00:42:41 +0000 |
commit | 2617e4e257a8ea10fdfec36b31d0a929d090064f (patch) | |
tree | b40fcc35af3223c6d297125b82420df17b2d24ab /Makefile.in | |
parent | c72b0edd085ee95677140e78c42eb104f74a3354 (diff) | |
download | emacs-2617e4e257a8ea10fdfec36b31d0a929d090064f.tar.gz |
(info): Ignore errors building info files.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index ce476a95cf0..1a115cd3fd5 100644 --- a/Makefile.in +++ b/Makefile.in @@ -719,9 +719,9 @@ force-info: # 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) |