diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/Makefile.in | 4 |
2 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8cec162c..7a97202 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +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. + 2007-09-30 Manuel Lopez-Ibanez <manu@gcc.gnu.org> * doc/invoke.texi (Wall): List the options enabled by Wall. diff --git a/gcc/Makefile.in b/gcc/Makefile.in index 2e522d5..c3fe42a 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 |