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

ingydotnet · ingydotnet · commit a860a2423cde · 2021-11-17T11:15:19.000-08:00
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 {
