gcc/maintainer-scripts ChangeLog update_web_docs

Mon Dec 17 11:39:00 GMT 2001

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jsm28@gcc.gnu.org	2001-12-17 11:39:22

Modified files:
	maintainer-scripts: ChangeLog update_web_docs 

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

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/maintainer-scripts/ChangeLog.diff?cvsroot=gcc&r1=1.23&r2=1.24
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/maintainer-scripts/update_web_docs.diff?cvsroot=gcc&r1=1.14&r2=1.15