* update_web_docs: Use makeinfo --html instead of texi2html.
	Remove support for pre-3.1 GCC versions.  Build online docs for
	gccint manual.

From-SVN: r48120