Unify html generation with other frontends.

From-SVN: r90589

diff --git a/gcc/treelang/Make-lang.in b/gcc/treelang/Make-lang.in
index fc4d3e6001dbecc9951a12c759f6ddc58c756d4f..5b9073515edc46fc0c1a573dacdd27fb2ecfdff9 100644 (file)
--- 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) $<
 
 #\f
 # Install hooks: