diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c00400e660..5743e5c939 100644
--- 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
\ No newline at end of file
+        uses: actions/deploy-pages@v2
diff --git a/pages/404.html b/pages/404.html
new file mode 100644
index 0000000000..0a03a7dbb1
--- /dev/null
+++ 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
index da79af4a02..5f8e891b6a 100644
--- 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>
\ No newline at end of file
+  <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
index d013ef328f..2f16cb0caf 100644
--- 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
index bb50fc26fe..18e30d917d 100644
--- 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
index bb50fc26fe..18e30d917d 100644
--- 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
index bb50fc26fe..18e30d917d 100644
--- 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>
