play.c: Replace NULL check by assertion.

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

diff --git a/web/download.in.html b/web/download.in.html
index 1ca8a4d20c4624fe8e67dcbacd4e1f16c6f5931d..1287597e20cdb4bc3c002e9e28447626819e8401 100644 (file)
--- a/web/download.in.html
+++ b/web/download.in.html
@@ -1,8 +1,9 @@
 <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>.
@@ -10,16 +11,16 @@ provided at this point. There are several ways to download the source:
                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
                project since 2006, all work in progress and the source
-               code for the web pages. Choosing this option allows to
-               check out any of the four integration branches maint,
+               code for the web pages. Choosing this option allows 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
@@ -65,10 +66,10 @@ provided at this point. There are several ways to download the source:
 
                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 to get a specific revision without downloading
+               allows getting a specific revision without downloading
                the full history.
 
        </li>