gcc-wwwdocs branch master updated. 66a3458828656c3cfc223defcf6b74c717d61996

gcc-wwwdocs branch master updated. 66a3458828656c3cfc223defcf6b74c717d61996

[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  66a3458828656c3cfc223defcf6b74c717d61996 (commit)
      from  6df815817051ed1defc13eda2cbadc089da6d646 (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 66a3458828656c3cfc223defcf6b74c717d61996
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Sat Oct 19 09:04:47 2019 +0200

    Further refine instructions on how to check out wwwdocs.

diff --git a/htdocs/about.html b/htdocs/about.html
index a812a7f..ddd7850 100644
--- a/htdocs/about.html
+++ b/htdocs/about.html
@@ -51,13 +51,14 @@ a higher chance of being implemented soon. ;-)</p>
 <h2 id="git">Using the git repository</h2>
 
 <p>Assuming you have both git 
-and SSH installed, you can check out the web pages as follows:</p>
+and SSH installed, you can check out the web pages via
 
 <blockquote><pre>
 <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
 </pre></blockquote>
 
+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>
 

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

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


hooks/post-receive
-- 
gcc-wwwdocs