diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 9dc317d..b2ba0c1 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -1617,7 +1617,8 @@ $(srcdir)/cpp.dvi: cpp.texi $(TEXI2DVI) $< $(srcdir)/INSTALL: install1.texi install.texi - $(MAKEINFO) -D INSTALLONLY --no-header `echo $(srcdir)/install1.texi | sed 's,^\./,,'` + $(MAKEINFO) -D INSTALLONLY --no-header --no-split \ + `echo $(srcdir)/install1.texi | sed 's,^\./,,'` # Deletion of files made during compilation. # There are four levels of this: |