re PR other/33585 (make html does not work for install files)

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.

From-SVN: r128900

gcc/ChangeLog

+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.

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