gcc-wwwdocs branch master updated. 0207c6883b73b1a7340035721c88456d800ce144

gcc-wwwdocs branch master updated. 0207c6883b73b1a7340035721c88456d800ce144

[gerald]

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  0207c6883b73b1a7340035721c88456d800ce144 (commit)
      from  45c367e490033d6282cc73876b81859ba04ae9a3 (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 0207c6883b73b1a7340035721c88456d800ce144
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Sun Oct 20 13:32:51 2019 +0200

    Make the anonymous checkout of wwwdocs simple copy&paste.

diff --git a/htdocs/about.html b/htdocs/about.html
index 48918c8..a67e358 100644
--- a/htdocs/about.html
+++ b/htdocs/about.html
@@ -59,8 +59,11 @@ and SSH installed, you can check out the web pages via</p>
 
 <p>where <i>username</i> is your user name at gcc.gnu.org.</p>
 
-<p>For anonymous access, use
-<code>git://gcc.gnu.org/git/gcc-wwwdocs.git</code> instead.</p>
+<p>For anonymous access, use</p>
+<blockquote><pre>
+<code>git clone git://gcc.gnu.org/git/gcc-wwwdocs.git</code>
+</pre></blockquote>
+
 
 <h3>Validating a change</h3>
 

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

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


hooks/post-receive
-- 
gcc-wwwdocs