Unify html generation with other frontends.

From-SVN: r90589

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: