gcc/maintainer-scripts ChangeLog update_web_docs

[jsm28@gcc.gnu.org]

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	jsm28@gcc.gnu.org	2001-08-28 14:11:02

Modified files:
	maintainer-scripts: ChangeLog update_web_docs 

Log message:
	* update_web_docs: Also check out texinfo.tex from
	gcc/doc/include.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/maintainer-scripts/ChangeLog.diff?cvsroot=gcc&r1=1.12&r2=1.13
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/maintainer-scripts/update_web_docs.diff?cvsroot=gcc&r1=1.9&r2=1.10