diff options
| -rw-r--r-- | gcc/treelang/Make-lang.in | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gcc/treelang/Make-lang.in b/gcc/treelang/Make-lang.in index fc4d3e6..5b90735 100644 --- a/gcc/treelang/Make-lang.in +++ b/gcc/treelang/Make-lang.in @@ -156,7 +156,7 @@ TEXI_TREELANG_FILES = treelang/treelang.texi \ $(docdir)/include/funding.texi doc/treelang.info: $(TEXI_TREELANG_FILES) - $(MAKEINFO) $(MAKEINFOFLAGS) -I$(docdir)/include -o $@ $< + $(MAKEINFO) $(MAKEINFOFLAGS) -I $(docdir)/include -o $@ $< doc/treelang.dvi: $(TEXI_TREELANG_FILES) $(TEXI2DVI) -I $(abs_docdir)/include -o $@ $< @@ -166,9 +166,7 @@ html:: $(htmldir)/treelang/index.html $(htmldir)/treelang/index.html: $(TEXI_TREELANG_FILES) $(mkinstalldirs) $(@D) rm -f $(@D)/* - $(TEXI2HTML) -I$(docdir)/include -I$(srcdir)/treelang \ - --verbose --number-sections \ - -o $(@D) $< + $(TEXI2HTML) -I $(docdir)/include -I $(srcdir)/treelang -o $(@D) $< # # Install hooks: |