diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8cec162c5bba0984b62adf638cc4193e21921cc1..7a972022a6a1d7a33cce2894ee0f4f1160c0c3ac 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 2e522d59931fb4f7d85a01d09e327468b0f69c7d..c3fe42a9cd51c776283b81536476990a57bc103e 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