Add redirections for coq.inria.fr/{stdlib,library}.

Unfortunately, this won't work for sub-paths.
coq · Oct 9, 2023 · fca2498 · fca2498
1 parent 410acb8
commit fca2498
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/pages/library/index.html b/pages/library/index.html
@@ -0,0 +1,4 @@
+<#include "incl/macros.html">
+<head>
+  <meta http-equiv="Refresh" content="0; URL=https://coq.github.io/doc/<#CURRENTVERSIONTAG>/stdlib/" />
+</head>
diff --git a/pages/stdlib/index.html b/pages/stdlib/index.html
@@ -0,0 +1,4 @@
+<#include "incl/macros.html">
+<head>
+  <meta http-equiv="Refresh" content="0; URL=https://coq.github.io/doc/<#CURRENTVERSIONTAG>/stdlib/" />
+</head>