From 148e667c20f12a77aad6dccf1dfbe4c1d5a6355a Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 26 Oct 2015 14:31:49 +0100
Subject: [PATCH 1/1] web: Fix gibweb link.

The correct git:// and gitweb URLs contain a ".git" suffix. While the
git service works with and without this suffix, the gitweb link
404s without it.

This commit adds the .git suffix to both URLs.
---
 web/index.html.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/index.html.in b/web/index.html.in
index 934a3ea..eed742a 100644
--- a/web/index.html.in
+++ b/web/index.html.in
@@ -58,7 +58,7 @@
 
 	<center>
 
-		<tt>git clone git://git.tuebingen.mpg.de/osl</tt>
+		<tt>git clone git://git.tuebingen.mpg.de/osl.git</tt>
 
 	</center>
 
@@ -70,7 +70,7 @@
 	the latest release, select the corresponding <em>snapshot</em>
 	link on the
 
-		<a href="http://git.tuebingen.mpg.de/osl">osl gitweb page</a>
+		<a href="http://git.tuebingen.mpg.de/osl.git">osl gitweb page</a>
 
 	</p>
 
-- 
2.39.2