Add subpath redirects (#232)

coq · Oct 12, 2023 · 92e96df · 92e96df
1 parent 9bdf77e
commit 92e96df
Show file tree

Hide file tree

Showing 7 changed files with 25 additions and 7 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -46,4 +46,4 @@ jobs:
     steps:
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v2
diff --git a/pages/404.html b/pages/404.html
@@ -0,0 +1,18 @@
+<#include "incl/macros.html">
+<script>
+  const path = window.location.pathname;
+  const stdlibRegex = /^\/(stdlib|library)\//;
+  const refmanRegex = /^\/distrib\/(.*)\/refman\//;
+  const stdlibDistribRegex = /^\/distrib\/(.*)\/stdlib\//;
+  if (stdlibRegex.test(path)) {
+    window.location = path.replace(stdlibRegex, "/doc/<#CURRENTVERSIONTAG>/stdlib/");
+  } else if (refmanRegex.test(path)) {
+    const version = path.match(refmanRegex)[1];
+    window.location = path.replace(refmanRegex, "/doc/" + version + "/refman/");
+  } else if (stdlibDistribRegex.test(path)) {
+    const version = path.match(stdlibDistribRegex)[1];
+    window.location = path.replace(stdlibDistribRegex, "/doc/" + version + "/stdlib/");
+  } else {
+    document.write("<h1>Not found</h1>");
+  }
+</script>
diff --git a/pages/distrib/current/refman/changes.html b/pages/distrib/current/refman/changes.html
@@ -1,4 +1,4 @@
 <#include "incl/macros.html">
 <head>
-  <meta http-equiv="Refresh" content="0; URL=https://coq.github.io/doc/<#CURRENTVERSIONTAG>/refman/changes.html" />
-</head>
+  <meta http-equiv="Refresh" content="0; URL=/doc/<#CURRENTVERSIONTAG>/refman/changes.html" />
+</head>
diff --git a/pages/distrib/current/refman/index.html b/pages/distrib/current/refman/index.html
@@ -1,4 +1,4 @@
 <#include "incl/macros.html">
 <head>
-  <meta http-equiv="Refresh" content="0; URL=https://coq.github.io/doc/<#CURRENTVERSIONTAG>/refman/" />
+  <meta http-equiv="Refresh" content="0; URL=/doc/<#CURRENTVERSIONTAG>/refman/" />
 </head>
diff --git a/pages/distrib/current/stdlib/index.html b/pages/distrib/current/stdlib/index.html
@@ -1,4 +1,4 @@
 <#include "incl/macros.html">
 <head>
-  <meta http-equiv="Refresh" content="0; URL=https://coq.github.io/doc/<#CURRENTVERSIONTAG>/stdlib/" />
+  <meta http-equiv="Refresh" content="0; URL=/doc/<#CURRENTVERSIONTAG>/stdlib/" />
 </head>
diff --git a/pages/library/index.html b/pages/library/index.html
@@ -1,4 +1,4 @@
 <#include "incl/macros.html">
 <head>
-  <meta http-equiv="Refresh" content="0; URL=https://coq.github.io/doc/<#CURRENTVERSIONTAG>/stdlib/" />
+  <meta http-equiv="Refresh" content="0; URL=/doc/<#CURRENTVERSIONTAG>/stdlib/" />
 </head>
diff --git a/pages/stdlib/index.html b/pages/stdlib/index.html
@@ -1,4 +1,4 @@
 <#include "incl/macros.html">
 <head>
-  <meta http-equiv="Refresh" content="0; URL=https://coq.github.io/doc/<#CURRENTVERSIONTAG>/stdlib/" />
+  <meta http-equiv="Refresh" content="0; URL=/doc/<#CURRENTVERSIONTAG>/stdlib/" />
 </head>