1 files changed, 2 insertions, 1 deletions
diff --git a/website/resources/js/main.js b/website/resources/js/main.js
index 4ac490d3..146dd554 100644
--- a/website/resources/js/main.js
+++ b/website/resources/js/main.js
@@ -37,6 +37,7 @@
 			var u = hs.data.urlPath;
 			if (u === "/" || u === "") u = "/main.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);
 			var sc = $("#" + key);
 			if (sc.length > 0) {
@@ -61,4 +62,4 @@
 	}
 
 	$(ajaxFeaturePages);
-})($);
-\ No newline at end of file
+})($);