diff options
Diffstat (limited to 'gcc/Makefile.in')
| -rw-r--r-- | gcc/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 8eca4be..b339e85 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -2129,7 +2129,7 @@ cpp.dvi: $(srcdir)/cpp.texi INSTALL: $(srcdir)/install1.texi $(srcdir)/install.texi - cd $(srcdir); $(MAKEINFO) -D INSTALLONLY --no-header \ + cd $(srcdir); $(MAKEINFO) -D INSTALLONLY \ --no-split -o INSTALL install1.texi # # Deletion of files made during compilation. |