From: Andre Noll <maan@tuebingen.mpg.de>
Date: Mon, 15 Jun 2020 23:42:25 +0000 (+0200)
Subject: web: Let logo link to index.html rather than ".".
X-Git-Tag: v0.2.0~2^2~3
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=b33ea63fb2357f0da13a30d2d0df6ffe8f2c4fc1;p=osl.git

web: Let logo link to index.html rather than ".".

Depending on the browser and the web server config, the reference to
"." may cause the browser to render a directory listing.
---

diff --git a/web/header.html b/web/header.html
index 21be256..2b5e798 100644
--- a/web/header.html
+++ b/web/header.html
@@ -12,7 +12,7 @@
 	<table>
 		<tr>
 			<td>
-				<a href=".">
+				<a href="index.html">
 					<IMG
 						SRC="osl.png"
 						alt="osl logo"