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.

diff --git a/web/index.html.in b/web/index.html.in
index 934a3eaa87f95859fc81b849902203ca1ef4e138..eed742ae9980668515e8063886ea0cf1f8d3bad3 100644 (file)
--- 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>