web: Generate left- and right-justified text.

[paraslash.git] / web / download.in.html

diff --git a/web/download.in.html b/web/download.in.html
index 9ef92b7af654ec06f193ad5dd3941648b82a83b8..1287597e20cdb4bc3c002e9e28447626819e8401 100644 (file)
--- a/web/download.in.html
+++ b/web/download.in.html
@@ -1,8 +1,9 @@
 <h1>Download</h1>
 <hr>
 
 <h1>Download</h1>
 <hr>
 

-Paraslash is only available as source code, no binary packages are
-provided at this point. There are several ways to download the source:
+<p> Paraslash is only available as source code, no binary packages
+are provided at this point. There are several ways to download the
+source: </p>

 
 <ul>
        <li> <em> git</em>.
 
 <ul>
        <li> <em> git</em>.


@@ -10,7 +11,7 @@ provided at this point. There are several ways to download the source:
                Clone the git repository by executing
 
                <pre> <kbd>
                Clone the git repository by executing
 
                <pre> <kbd>

-                       git clone git://git.tuebingen.mpg.de/paraslash.git
+                       git clone https://git.tuebingen.mpg.de/paraslash.git

                </kbd> </pre>
 
                <p> The repository contains the full history of the
                </kbd> </pre>
 
                <p> The repository contains the full history of the


@@ -19,7 +20,7 @@ provided at this point. There are several ways to download the source:
                checkout of any of the four integration branches maint,
                master, next, pu (see the
 
                checkout of any of the four integration branches maint,
                master, next, pu (see the
 

-               <a href="manual.html#Git.branches">Git branches</a>
+               <a href="manual.html#Git-branches">Git branches</a>

 
                section of the manual). All previous releases
                correspond to tagged commits and may be checked out
 
                section of the manual). All previous releases
                correspond to tagged commits and may be checked out


@@ -65,7 +66,7 @@ provided at this point. There are several ways to download the source:
 
                The
 
 
                The
 

-                       <a href="http://git.tuebingen.mpg.de/paraslash.git">gitweb</a>
+                       <a href="https://git.tuebingen.mpg.de/paraslash.git">gitweb</a>

 
                page contains a snapshot link for each revision. This
                allows getting a specific revision without downloading
 
                page contains a snapshot link for each revision. This
                allows getting a specific revision without downloading