GCC wwwdocs move to git done

[Joseph Myers]

On Tue, 8 Oct 2019, Frank Ch. Eigler wrote:

> Hi -
> 
> Thanks - good job with moving this to git!
> 
> > Note 1: someone with the right access needs to create the symlink 
> > /sourceware/git/gcc-wwwdocs.git -> 
> > /sourceware/projects/gcc-home/wwwdocs.git (and anything else needed for 
> > anonymous git access to that repository).
> 
> Done.

Thanks!  I've now updated the instructions to use the shorter path to the 
repository and restored the documentation of anonymous access.

diff --git a/htdocs/about.html b/htdocs/about.html
index 30a5c943..019b6fbd 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>
 

-- 
Joseph S. Myers
joseph@codesourcery.com