[wwwdocs] Improve markup/nicer formatting for GIT instructions.
diff mbox series

Message ID alpine.LSU.2.21.1910171018490.3728@anthias.pfeifer.com
State New
Headers show
Series
  • [wwwdocs] Improve markup/nicer formatting for GIT instructions.
Related show

Commit Message

Gerald Pfeifer Oct. 17, 2019, 2:15 p.m. UTC
Committed.

My first git push to the new wwwdocs repository ;-)  Thank you,
Joseph and everyone else who helped!

Gerald


From 6df815817051ed1defc13eda2cbadc089da6d646 Mon Sep 17 00:00:00 2001
From: Gerald Pfeifer <gerald@pfeifer.com>
Date: Thu, 17 Oct 2019 10:19:42 +0200
Subject: [PATCH] Improve markup/nicer formatting for GIT instructions.

---
 htdocs/about.html | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

Comments

Gerald Pfeifer Oct. 19, 2019, 9:06 a.m. UTC | #1
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>
Gerald Pfeifer Oct. 20, 2019, 2:54 p.m. UTC | #2
On Sat, 19 Oct 2019, Gerald Pfeifer wrote:
> And this makes it a bit nicer (and shorter).

And this makes the anonymous checkout of wwwdocs simple copy&paste.

Commmitted.

Gerald


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>
+

Patch
diff mbox series

diff --git a/htdocs/about.html b/htdocs/about.html
index 019b6fbd..a812a7f9 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>