From 105028315816eb4c8d7b16c79e25775afc656c9a Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Wed, 22 Jan 2020 01:36:00 +0000 Subject: [PATCH] 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. --- gcc/ChangeLog | 5 +++++ gcc/doc/sourcebuild.texi | 4 ++-- 2 files changed, 7 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 85cf788..223f52d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2020-01-22 Joseph Myers + + * doc/sourcebuild.texi (Texinfo Manuals, Front End): Refer to + update_web_docs_git instead of update_web_docs_svn. + 2020-01-21 Andrew Pinski PR target/9311 diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi index c18a630..af711ad 100644 --- 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 -- 2.7.4