Put more HTML structure in redirection files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/docs/1.0.1/html/overview/conventions.html b/docs/1.0.1/html/overview/conventions.html
index 7523c89..4b08cf9 100644
--- a/docs/1.0.1/html/overview/conventions.html
+++ b/docs/1.0.1/html/overview/conventions.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/conventions.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/functionality.html b/docs/1.0.1/html/overview/functionality.html
index 8f08e09..c359097 100644
--- a/docs/1.0.1/html/overview/functionality.html
+++ b/docs/1.0.1/html/overview/functionality.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/functionality.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/goals.html b/docs/1.0.1/html/overview/goals.html
index 277450a..3c2d2a1 100644
--- a/docs/1.0.1/html/overview/goals.html
+++ b/docs/1.0.1/html/overview/goals.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/goals.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/implementation.html b/docs/1.0.1/html/overview/implementation.html
index 67d898f..ca3b074 100644
--- a/docs/1.0.1/html/overview/implementation.html
+++ b/docs/1.0.1/html/overview/implementation.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/implementation.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/intro.html b/docs/1.0.1/html/overview/intro.html
index 681022b..4f2c503 100644
--- a/docs/1.0.1/html/overview/intro.html
+++ b/docs/1.0.1/html/overview/intro.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/intro.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/sample-arch.html b/docs/1.0.1/html/overview/sample-arch.html
index d1b225a..18a7947 100644
--- a/docs/1.0.1/html/overview/sample-arch.html
+++ b/docs/1.0.1/html/overview/sample-arch.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/sample-arch.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/overview/usage.html b/docs/1.0.1/html/overview/usage.html
index 9d4dc4a..de2fd95 100644
--- a/docs/1.0.1/html/overview/usage.html
+++ b/docs/1.0.1/html/overview/usage.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html">https://arm-software.github.io/psa-api/crypto/1.0/overview/usage.html</a>.</p>
+  </body>
+</html>