Set release as default documentation version

github-actions[bot] · github-actions[bot] · commit 60255ec19f5b · 2026-02-25T16:29:56.000Z
diff --git a/index.html b/index.html
@@ -1,7 +1 @@
-<!DOCTYPE html>
-<html>
-<head>
-  <script>window.location.href = "/JETLS.jl/release/" + window.location.hash;</script>
-  <noscript><meta http-equiv="refresh" content="0; url=/JETLS.jl/release/"></noscript>
-</head>
-</html>
+<meta http-equiv="refresh" content="0; url=./release/"/>
