Set default version to latest with mike 2.0.0

2023-12-05 10:38:59 +00:00 · 2023-12-05 10:38:59 +00:00 · e6cc5f5756
parent e5e8e7c91d
commit e6cc5f5756
1 changed files with 4 additions and 2 deletions
--- a/index.html
+++ b/index.html
@ -7,10 +7,12 @@
    <meta http-equiv="refresh" content="1; url=latest/" />
  </noscript>
  <script>
-    window.location.replace("latest/" + window.location.hash);
+    window.location.replace(
+      "latest/" + window.location.search + window.location.hash
+    );
  </script>
 </head>
 <body>
  Redirecting to <a href="latest/">latest/</a>...
 </body>
-</html>
+</html>