gcc-wwwdocs branch master updated. bcbb4ab7d210ed065f4d9e32d6b2bfcf179512ae

gcc-wwwdocs branch master updated. bcbb4ab7d210ed065f4d9e32d6b2bfcf179512ae

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

    Fix markup.

diff --git a/htdocs/about.html b/htdocs/about.html
index ddd7850..48918c8 100644
--- a/htdocs/about.html
+++ b/htdocs/about.html
@@ -51,13 +51,13 @@ 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 via
+and SSH installed, you can check out the web pages via</p>
 
 <blockquote><pre>
 <code>git clone git+ssh://<i>username</i>@gcc.gnu.org/git/gcc-wwwdocs.git</code>
 </pre></blockquote>
 
-where <i>username</i> is your user name at gcc.gnu.org.</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>

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

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


hooks/post-receive
-- 
gcc-wwwdocs