diff options
| -rw-r--r-- | binutils/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/binutils/Makefile.in b/binutils/Makefile.in index d3b1f71..54d8333 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 |