Test OK, back to actual default redirect

utensil · Nov 6, 2024 · 4b7576f · 4b7576f
1 parent 0d92940
commit 4b7576f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/assets/404.html b/assets/404.html
@@ -34,7 +34,7 @@
     const redirectConfig = [
       // {regex: /^\/example$/, redirect: "/example.html"},
       /*       {regex: /\/.*\.xml$/, redirect: (path) => path.replace('.xml', '.html')} */
-      {regex: /.*/, redirect: "/lean4/index-non-exist.html"}
+      {regex: /.*/, redirect: "/lean4/index.html"}
     ];
 
     function redirectToPage() {