diff options
author | Mike Stump <mrs@gcc.gnu.org> | 2004-11-13 17:27:49 +0000 |
---|---|---|
committer | Mike Stump <mrs@gcc.gnu.org> | 2004-11-13 17:27:49 +0000 |
commit | b48cf92f95ce83a1709edcb90c5895d389a4a9a3 (patch) | |
tree | f781a752a7de0d3408a44861cc5a1e491230f2d0 /gcc/treelang/Make-lang.in | |
parent | 61a5fa299864986ced314814734cb74a4c310ba8 (diff) | |
download | gcc-b48cf92f95ce83a1709edcb90c5895d389a4a9a3.zip gcc-b48cf92f95ce83a1709edcb90c5895d389a4a9a3.tar.gz gcc-b48cf92f95ce83a1709edcb90c5895d389a4a9a3.tar.bz2 |
Unify html generation with other frontends.
From-SVN: r90589
Diffstat (limited to 'gcc/treelang/Make-lang.in')
-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: |