Update update_web_docs_svn references in sourcebuild.texi.

These needed updating after the replacement of update_web_docs_svn by
update_web_docs_git.

	* doc/sourcebuild.texi (Texinfo Manuals, Front End): Refer to
	update_web_docs_git instead of update_web_docs_svn.

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 85cf788cc5062ce76bec8def1e8cba1cef9cffba..223f52d08b1454a8b14e53367742d6b12266f334 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2020-01-22  Joseph Myers  <joseph@codesourcery.com>
+
+       * doc/sourcebuild.texi (Texinfo Manuals, Front End): Refer to
+       update_web_docs_git instead of update_web_docs_svn.
+
 2020-01-21  Andrew Pinski  <apinski@marvell.com>
 
        PR target/9311

diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
index c18a630343e2c1e79a5f9a0151499a769d81597d..af711ad753f6c1b051d95384e4e41c136879f36b 100644 (file)
--- a/gcc/doc/sourcebuild.texi
+++ b/gcc/doc/sourcebuild.texi
@@ -388,7 +388,7 @@ and they are included in release distributions.
 
 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_svn}.  Each manual to be
+@file{maintainer-scripts/update_web_docs_git}.  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
@@ -561,7 +561,7 @@ A news item on @file{index.html}, and possibly an announcement on the
 @email{gcc-announce@@gcc.gnu.org} mailing list.
 @item
 The front end's manuals should be mentioned in
-@file{maintainer-scripts/update_web_docs_svn} (@pxref{Texinfo Manuals})
+@file{maintainer-scripts/update_web_docs_git} (@pxref{Texinfo Manuals})
 and the online manuals should be linked to from
 @file{onlinedocs/index.html}.
 @item