X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=web%2Fdownload.in.html;h=b2b1f5fabbcc980cf852c1d5c5c177583ea693f9;hb=HEAD;hp=9ef92b7af654ec06f193ad5dd3941648b82a83b8;hpb=c75c35b176cdacf157d27617e954961c88f33975;p=paraslash.git

diff --git a/web/download.in.html b/web/download.in.html
index 9ef92b7a..1287597e 100644
--- 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,7 +11,7 @@ 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
@@ -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
 
-		<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,7 +66,7 @@ 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 getting a specific revision without downloading