From 4067ead6bd2d0c188c10058866fd5744d7bfa859 Mon Sep 17 00:00:00 2001
From: Roel Spilker <r.spilker@gmail.com>
Date: Thu, 27 Jan 2022 12:56:35 +0100
Subject: rename main.html to index.html

---
 website/resources/js/main.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'website/resources/js')

diff --git a/website/resources/js/main.js b/website/resources/js/main.js
index 3d18b996..fe90a086 100644
--- a/website/resources/js/main.js
+++ b/website/resources/js/main.js
@@ -64,7 +64,7 @@
 		$(window).on("statechange", function() {
 			var hs = History.getState();
 			var u = hs.data.urlPath;
-			if (u === "/" || u === "") u = "/main.html";
+			if (u === "/" || u === "") u = "/index.html";
 			if (u.substring(u.length - 5) !== ".html") u += ".html";
 			if (u.substring(u.length - 8) === "all.html") u = u.substring(0, u.length - 8) + "index.html";
 			var key = toKey(u);
-- 
cgit