diff options
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 3fb0f78421c..9753017d72d 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) |