diff options
| author | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-10-01 02:38:31 +0000 |
|---|---|---|
| committer | manu <manu@138bc75d-0d04-0410-961f-82ee72b054a4> | 2007-10-01 02:38:31 +0000 |
| commit | 120a0e58e0909d7ea1ecc5275b0bbea475ef484c (patch) | |
| tree | 2f1abe8f8b26dd138db603e89cef4bd9718dac79 /gcc/Makefile.in | |
| parent | 671c8556fe7bdfe2dd4eb79b4ab3b36c5a69a2c5 (diff) | |
| download | gcc-120a0e58e0909d7ea1ecc5275b0bbea475ef484c.tar.gz | |
2007-10-01 Manuel Lopez-Ibanez <manu@gcc.gnu.org>
PR other/33585
* Makefile.in (build_html_dir/gccinstall): gccinstall.texi needs
to be processed with the special script doc/install.texi2html.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@128900 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/Makefile.in')
| -rw-r--r-- | gcc/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 2e522d59931..c3fe42a9cd5 100644 --- a/gcc/Makefile.in +++ b/gcc/Makefile.in @@ -3726,7 +3726,9 @@ $(build_htmldir)/%/index.html: %.texi $(build_htmldir)/gccinstall/index.html: $(TEXI_GCCINSTALL_FILES) $(mkinstalldirs) $(@D) echo rm -f $(@D)/* - $(TEXI2HTML) -I $(abs_docdir) -I $(abs_docdir)/include -o $(@D) $< + SOURCEDIR=$(abs_docdir) \ + DESTDIR=$(@D) \ + $(SHELL) $(srcdir)/doc/install.texi2html MANFILES = doc/gcov.1 doc/cpp.1 doc/gcc.1 doc/gfdl.7 doc/gpl.7 doc/fsf-funding.7 |