From 4a9f00f012bc59c42db722e21043c08b9fe08d2f Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 6 Nov 2021 21:31:59 +0100
Subject: [PATCH] web: Link to "./index.html" rather than to ".".

When browsing the generated html locally, clicking the logo or the
about link may cause the browser to open the directory view, which
is annoying. This commit makes these links open the main page instead.
---
 web/header.html  | 4 ++--
 web/header2.html | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/web/header.html b/web/header.html
index 6b52f029..54acf0e9 100644
--- a/web/header.html
+++ b/web/header.html
@@ -11,7 +11,7 @@
 	<table>
 	<tr>
 		<td>
-			<a title="paraslash homepage" href=".">
+			<a title="paraslash homepage" href="./index.html">
 				<img src="paraslash.svg" alt="paraslash">
 			</a>
 		</td>
@@ -22,7 +22,7 @@
 	<tr>
 		<td valign="top">
 			<br>
-			<a href=".">About</a><br>
+			<a href="./index.html">About</a><br>
 			<a href="news.html">News</a><br>
 			<a href="download.html">Download</a><br>
 			<a href="documentation.html">Documentation</a><br>
diff --git a/web/header2.html b/web/header2.html
index 89c3c468..b7534c32 100644
--- a/web/header2.html
+++ b/web/header2.html
@@ -11,7 +11,7 @@
 	<table>
 	<tr>
 		<td>
-			<a title="paraslash homepage" href="../..//">
+			<a title="paraslash homepage" href="../../index.html">
 				<img src="../../paraslash.svg" alt="paraslash">
 			</a>
 		</td>
@@ -22,7 +22,7 @@
 	<tr>
 		<td valign="top">
 			<br>
-			<a href="../..">About</a><br>
+			<a href="../../index.html">About</a><br>
 			<a href="../../news.html">News</a><br>
 			<a href="../../download.html">Download</a><br>
 			<a href="../../documentation.html">Documentation</a><br>
-- 
2.39.2