Put more HTML structure in redirection files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/docs/1.0.1/html/api/keys/attributes.html b/docs/1.0.1/html/api/keys/attributes.html
index 8387629..5b07810 100644
--- a/docs/1.0.1/html/api/keys/attributes.html
+++ b/docs/1.0.1/html/api/keys/attributes.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/attributes.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/ids.html b/docs/1.0.1/html/api/keys/ids.html
index 8961768..bb0079b 100644
--- a/docs/1.0.1/html/api/keys/ids.html
+++ b/docs/1.0.1/html/api/keys/ids.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/ids.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/index.html b/docs/1.0.1/html/api/keys/index.html
index a189013..409b754 100644
--- a/docs/1.0.1/html/api/keys/index.html
+++ b/docs/1.0.1/html/api/keys/index.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/index.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/lifetimes.html b/docs/1.0.1/html/api/keys/lifetimes.html
index e58faeb..8fc6135 100644
--- a/docs/1.0.1/html/api/keys/lifetimes.html
+++ b/docs/1.0.1/html/api/keys/lifetimes.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/lifetimes.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/management.html b/docs/1.0.1/html/api/keys/management.html
index 5af957c..112e811 100644
--- a/docs/1.0.1/html/api/keys/management.html
+++ b/docs/1.0.1/html/api/keys/management.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/management.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/policy.html b/docs/1.0.1/html/api/keys/policy.html
index a68306a..d036b6b 100644
--- a/docs/1.0.1/html/api/keys/policy.html
+++ b/docs/1.0.1/html/api/keys/policy.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/policy.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.0.1/html/api/keys/types.html b/docs/1.0.1/html/api/keys/types.html
index c9b948c..9ea6763 100644
--- a/docs/1.0.1/html/api/keys/types.html
+++ b/docs/1.0.1/html/api/keys/types.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html">https://arm-software.github.io/psa-api/crypto/1.0/api/keys/types.html</a>.</p>
+  </body>
+</html>