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/ops/aead.html b/docs/1.0.1/html/api/ops/aead.html
index 005e423..62c476d 100644
--- a/docs/1.0.1/html/api/ops/aead.html
+++ b/docs/1.0.1/html/api/ops/aead.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/aead.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/algorithms.html b/docs/1.0.1/html/api/ops/algorithms.html
index 4254e83..f58147f 100644
--- a/docs/1.0.1/html/api/ops/algorithms.html
+++ b/docs/1.0.1/html/api/ops/algorithms.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/algorithms.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/ciphers.html b/docs/1.0.1/html/api/ops/ciphers.html
index 5f49443..d61ba2a 100644
--- a/docs/1.0.1/html/api/ops/ciphers.html
+++ b/docs/1.0.1/html/api/ops/ciphers.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ciphers.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/hashes.html b/docs/1.0.1/html/api/ops/hashes.html
index 1121cdc..b46e468 100644
--- a/docs/1.0.1/html/api/ops/hashes.html
+++ b/docs/1.0.1/html/api/ops/hashes.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/hashes.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/index.html b/docs/1.0.1/html/api/ops/index.html
index d62ba38..2b307b4 100644
--- a/docs/1.0.1/html/api/ops/index.html
+++ b/docs/1.0.1/html/api/ops/index.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/index.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/ka.html b/docs/1.0.1/html/api/ops/ka.html
index 5efe848..5099d93 100644
--- a/docs/1.0.1/html/api/ops/ka.html
+++ b/docs/1.0.1/html/api/ops/ka.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/ka.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/kdf.html b/docs/1.0.1/html/api/ops/kdf.html
index 2f22ce3..cf59454 100644
--- a/docs/1.0.1/html/api/ops/kdf.html
+++ b/docs/1.0.1/html/api/ops/kdf.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/kdf.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/macs.html b/docs/1.0.1/html/api/ops/macs.html
index fb2e87f..be2a1f0 100644
--- a/docs/1.0.1/html/api/ops/macs.html
+++ b/docs/1.0.1/html/api/ops/macs.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/macs.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/pke.html b/docs/1.0.1/html/api/ops/pke.html
index 9626e79..70e22df 100644
--- a/docs/1.0.1/html/api/ops/pke.html
+++ b/docs/1.0.1/html/api/ops/pke.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/pke.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/rng.html b/docs/1.0.1/html/api/ops/rng.html
index e147ad4..93716b7 100644
--- a/docs/1.0.1/html/api/ops/rng.html
+++ b/docs/1.0.1/html/api/ops/rng.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/rng.html</a>.</p>
+ </body>
+</html>
diff --git a/docs/1.0.1/html/api/ops/sign.html b/docs/1.0.1/html/api/ops/sign.html
index a4de91d..22f5334 100644
--- a/docs/1.0.1/html/api/ops/sign.html
+++ b/docs/1.0.1/html/api/ops/sign.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html">https://arm-software.github.io/psa-api/crypto/1.0/api/ops/sign.html</a>.</p>
+ </body>
+</html>