diff options
Diffstat (limited to 'libiberty/Makefile.in')
| -rw-r--r-- | libiberty/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libiberty/Makefile.in b/libiberty/Makefile.in index 9f95c01327f..ffa4ba51d67 100644 --- a/libiberty/Makefile.in +++ b/libiberty/Makefile.in @@ -258,7 +258,7 @@ libiberty.dvi : $(srcdir)/libiberty.texi $(TEXISRC) texi2dvi $(srcdir)/libiberty.texi libiberty.html : $(srcdir)/libiberty.texi $(TEXISRC) - $(MAKEINFO) --html -I$(srcdir) $(srcdir)/libiberty.texi + $(MAKEINFO) --no-split --html -I$(srcdir) -o $@ $< @MAINT@$(srcdir)/functions.texi : stamp-functions @MAINT@ @true |