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>
 
 <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,16 +11,16 @@ 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
                project since 2006, all work in progress and the source
                </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
 
                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,10 +66,10 @@ 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
 
                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>
                the full history.
 
        </li>