gcc-wwwdocs branch master updated. 6df815817051ed1defc13eda2cbadc089da6d646

gcc-wwwdocs branch master updated. 6df815817051ed1defc13eda2cbadc089da6d646

[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  6df815817051ed1defc13eda2cbadc089da6d646 (commit)
      from  0dd4c6860fe284cef2df33ec98b2754c25d10438 (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 6df815817051ed1defc13eda2cbadc089da6d646
Author: Gerald Pfeifer <gerald@pfeifer.com>
Date:   Thu Oct 17 10:19:42 2019 +0200

    Improve markup/nicer formatting for GIT instructions.

diff --git a/htdocs/about.html b/htdocs/about.html
index 019b6fb..a812a7f 100644
--- a/htdocs/about.html
+++ b/htdocs/about.html
@@ -53,10 +53,10 @@ a higher chance of being implemented soon. ;-)</p>
 <p>Assuming you have both git 
 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/git/gcc-wwwdocs.git</code>
- where <i>username</i> is your user name at gcc.gnu.org</li>
-</ol>
+<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>
 
 <p>For anonymous access, use
 <code>git://gcc.gnu.org/git/gcc-wwwdocs.git</code> instead.</p>

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

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


hooks/post-receive
-- 
gcc-wwwdocs