diff --git a/binutils/Makefile.in b/binutils/Makefile.in index d3b1f710449..54d8333cdc9 100644 --- a/binutils/Makefile.in +++ b/binutils/Makefile.in @@ -183,7 +183,7 @@ binutils.dvi: $(srcdir)/binutils.texi # info file for online browsing binutils.info: $(srcdir)/binutils.texi - - $(MAKEINFO) -o binutils.info $(srcdir)/binutils.texi + $(MAKEINFO) -o binutils.info $(srcdir)/binutils.texi # different targets for -ms, -mm, -me # (we don't use a variable because we don't trust all makes to handle