Put more HTML structure in redirection files

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/docs/1.1.0/html/appendix/encodings.html b/docs/1.1.0/html/appendix/encodings.html
index 8ed592f..a9213c0 100644
--- a/docs/1.1.0/html/appendix/encodings.html
+++ b/docs/1.1.0/html/appendix/encodings.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/encodings.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.1/appendix/encodings.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/encodings.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.1/appendix/encodings.html">https://arm-software.github.io/psa-api/crypto/1.1/appendix/encodings.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.1.0/html/appendix/example_header.html b/docs/1.1.0/html/appendix/example_header.html
index 3e253c6..1bb9ba7 100644
--- a/docs/1.1.0/html/appendix/example_header.html
+++ b/docs/1.1.0/html/appendix/example_header.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/example_header.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.1/appendix/example_header.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/example_header.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.1/appendix/example_header.html">https://arm-software.github.io/psa-api/crypto/1.1/appendix/example_header.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.1.0/html/appendix/history.html b/docs/1.1.0/html/appendix/history.html
index 3dd7291..32c0a61 100644
--- a/docs/1.1.0/html/appendix/history.html
+++ b/docs/1.1.0/html/appendix/history.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/history.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.1/appendix/history.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/history.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.1/appendix/history.html">https://arm-software.github.io/psa-api/crypto/1.1/appendix/history.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.1.0/html/appendix/specdef_values.html b/docs/1.1.0/html/appendix/specdef_values.html
index e39e0f9..137f82e 100644
--- a/docs/1.1.0/html/appendix/specdef_values.html
+++ b/docs/1.1.0/html/appendix/specdef_values.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/specdef_values.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.1/appendix/specdef_values.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/specdef_values.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.1/appendix/specdef_values.html">https://arm-software.github.io/psa-api/crypto/1.1/appendix/specdef_values.html</a>.</p>
+  </body>
+</html>
diff --git a/docs/1.1.0/html/appendix/sra.html b/docs/1.1.0/html/appendix/sra.html
index 532ffa9..defdfc5 100644
--- a/docs/1.1.0/html/appendix/sra.html
+++ b/docs/1.1.0/html/appendix/sra.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/sra.html'" />
+<html>
+  <head>
+    <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.1/appendix/sra.html</title>
+    <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/appendix/sra.html'" />
+  </head>
+  <body>
+    <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.1/appendix/sra.html">https://arm-software.github.io/psa-api/crypto/1.1/appendix/sra.html</a>.</p>
+  </body>
+</html>