Support spec/1.2/index.html redirect and no JS

naskya · Nov 17, 2021 · a860a24 · a860a24
1 parent e3196d8
commit a860a24
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/spec/1.2/spec.html b/spec/1.2/spec.html
@@ -1,10 +1,11 @@
 <html>
 <head>
+<meta http-equiv="refresh" content="2; url=/spec/1.2.2/" />
 <script>
   var m;
   var href = window.location.href;
 
-  if (m = href.match(/\/spec\/1\.2\/?(?:spec\.html)?(#[a-z].+)/)) {
+  if (m = href.match(/\/spec\/1\.2\/?(?:spec\.html|index\.html)?(#[a-z].+)/)) {
     window.location.href = `/spec/1.2-old/spec.html${m[1]}`;
   }
   else {