diff options
| -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: | |||
| 719 | # put the info files in $(srcdir), | 719 | # put the info files in $(srcdir), |
| 720 | # so we can do ok running make in the build dir. | 720 | # so we can do ok running make in the build dir. |
| 721 | info: force-info | 721 | info: force-info |
| 722 | (cd man; $(MAKE) $(MFLAGS) info) | 722 | -(cd man; $(MAKE) $(MFLAGS) info) |
| 723 | (cd lispref; $(MAKE) $(MFLAGS) info) | 723 | -(cd lispref; $(MAKE) $(MFLAGS) info) |
| 724 | (cd lispintro; $(MAKE) $(MFLAGS) info) | 724 | -(cd lispintro; $(MAKE) $(MFLAGS) info) |
| 725 | dvi: | 725 | dvi: |
| 726 | (cd man; $(MAKE) $(MFLAGS) dvi) | 726 | (cd man; $(MAKE) $(MFLAGS) dvi) |
| 727 | (cd lispref; $(MAKE) $(MFLAGS) elisp.dvi) | 727 | (cd lispref; $(MAKE) $(MFLAGS) elisp.dvi) |