Patch to update_web_docs

[Joseph S. Myers]

This patch updated update_web_docs to take account of texinfo.tex now
being in gcc/doc/include.  Tested on gcc.gnu.org while generating 3.0.1
onlinedocs.  Applied as obvious.

Index: ChangeLog
===================================================================
RCS file: /cvs/gcc/gcc/maintainer-scripts/ChangeLog,v
retrieving revision 1.12
diff -u -r1.12 ChangeLog
--- ChangeLog	2001/08/06 13:03:21	1.12
+++ ChangeLog	2001/08/28 20:50:36
@@ -1,3 +1,8 @@
+2001-08-28  Joseph S. Myers  <jsm28@cam.ac.uk>
+
+	* update_web_docs: Also check out texinfo.tex from
+	gcc/doc/include.
+
 2001-08-06  Gerald Pfeifer  <pfeifer@dbai.tuwien.ac.at>
 
 	* update_web_docs (PREPROCESS): Rename to WWWPREPROCESS.
Index: update_web_docs
===================================================================
RCS file: /cvs/gcc/gcc/maintainer-scripts/update_web_docs,v
retrieving revision 1.9
diff -u -r1.9 update_web_docs
--- update_web_docs	2001/08/06 13:03:21	1.9
+++ update_web_docs	2001/08/28 20:50:36
@@ -90,7 +90,7 @@
 # Checkout all the texi files and get them into a single directory.
 # If we ever have texi files with the same name we'll have to do this
 # differently.
-cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex
+cvs -Q co -r$RELEASE `cat FILES` gcc/gcc/doc/install.texi2html gcc/gcc/texinfo.tex gcc/gcc/doc/texinfo.tex gcc/gcc/doc/include/texinfo.tex
 mv `find . -name \*.texi -print` .
 mv `find . -name \*.tex -print` .
 

-- 
Joseph S. Myers
jsm28@cam.ac.uk