And this makes it a bit nicer (and shorter). Committed, too.
Gerald diff --git a/htdocs/about.html b/htdocs/about.html index a812a7f9..48918c83 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</p> <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>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>
