rename main.html to index.html

src/support/lombok/website/RunSite.java

@@ -29,9 +29,9 @@ public class RunSite {
 	
 	private void go(boolean open) throws Exception {
 		port(DEFAULT_PORT);
-		get("/", serve("main.html"));
-		get("/setup/overview", serve("setup/main.html"));
-		get("/setup", serve("setup/main.html"));
+		get("/", serve("index.html"));
+		get("/setup/overview", serve("setup/index.html"));
+		get("/setup", serve("setup/index.html"));
 		get("/features", serve("features/index.html"));
 		get("/features/all", serve("features/index.html"));
 		get("/features/experimental/all", serve("features/experimental/index.html"));

website/extra/htaccess

@@ -1,9 +1,9 @@
 RewriteEngine On
 
-RewriteRule ^$ /main.html [L,END]
+RewriteRule ^$ /index.html [L,END]
 RewriteRule ^(index|home)(\.html)?$ / [NC,R=301]
 
-RewriteRule ^setup/overview$ /setup/main.html [L,END]
+RewriteRule ^setup/overview$ /setup/index.html [L,END]
 RewriteRule ^setup/overview(\.html)?/?$ /setup/overview [NC,R=301]
 RewriteRule ^setup/main(\.html)?/?$ /setup/overview [NC,R=301]
 RewriteRule ^setup/index(\.html)?/?$ /setup/overview [NC,R=301]

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);