gcc-wwwdocs branch master updated. f4abea392b992d457939dc1462d1810b2a89555e

gcc-wwwdocs branch master updated. f4abea392b992d457939dc1462d1810b2a89555e

[jsm28]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gcc-wwwdocs".

The branch, master has been updated
       via  f4abea392b992d457939dc1462d1810b2a89555e (commit)
      from  caa8d00ce0f4c5b215841e0522e025d26bb9e303 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit f4abea392b992d457939dc1462d1810b2a89555e
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Wed Oct 9 15:04:49 2019 +0000

    Document preferred path to wwwdocs git repository and anonymous access thereto.

diff --git a/htdocs/about.html b/htdocs/about.html
index 30a5c94..019b6fb 100644
--- a/htdocs/about.html
+++ b/htdocs/about.html
@@ -54,10 +54,12 @@ a higher chance of being implemented soon. ;-)</p>
 and SSH installed, you can check out the web pages as follows:</p>
 
 <ol>
- <li><code>git clone git+ssh://<i>username</i>@gcc.gnu.org/sourceware/projects/gcc-home/wwwdocs.git</code>
+ <li><code>git clone git+ssh://<i>username</i>@gcc.gnu.org/git/gcc-wwwdocs.git</code>
  where <i>username</i> is your user name at gcc.gnu.org</li>
 </ol>
 
+<p>For anonymous access, use
+<code>git://gcc.gnu.org/git/gcc-wwwdocs.git</code> instead.</p>
 
 <h3>Validating a change</h3>
 

-----------------------------------------------------------------------

Summary of changes:
 htdocs/about.html |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)


hooks/post-receive
-- 
gcc-wwwdocs