Doc patch committed: it's now update_web_docs_svn

Doc patch committed: it's now update_web_docs_svn

[Ian Lance Taylor]

[-- Attachment #1: Type: text/plain, Size: 290 bytes --]

I committed this documentation patch to reflect the fact that the web
docs script is now called update_web_docs_svn.

Ian


2010-12-08  Ian Lance Taylor  <iant@google.com>

	* doc/sourcebuild.texi (Texinfo Manuals): Change update_web_docs
	to update_web_docs_svn.
	(Front End): Likewise.



[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: doc --]
[-- Type: text/x-diff, Size: 1088 bytes --]

Index: doc/sourcebuild.texi
===================================================================
--- doc/sourcebuild.texi	(revision 167572)
+++ doc/sourcebuild.texi	(working copy)
@@ -377,7 +377,7 @@ and they are included in release distrib
 
 Manuals are also provided on the GCC web site, in both HTML and
 PostScript forms.  This is done via the script
-@file{maintainer-scripts/update_web_docs}.  Each manual to be
+@file{maintainer-scripts/update_web_docs_svn}.  Each manual to be
 provided online must be listed in the definition of @code{MANUALS} in
 that file; a file @file{@var{name}.texi} must only appear once in the
 source tree, and the output manual must have the same name as the
@@ -550,7 +550,7 @@ A news item on @file{index.html}, and po
 @email{gcc-announce@@gcc.gnu.org} mailing list.
 @item
 The front end's manuals should be mentioned in
-@file{maintainer-scripts/update_web_docs} (@pxref{Texinfo Manuals})
+@file{maintainer-scripts/update_web_docs_svn} (@pxref{Texinfo Manuals})
 and the online manuals should be linked to from
 @file{onlinedocs/index.html}.
 @item