Put more HTML structure in redirection files
Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>
diff --git a/docs/1.1.0/html/overview/implementation.html b/docs/1.1.0/html/overview/implementation.html
index 55fb431..1e7b930 100644
--- a/docs/1.1.0/html/overview/implementation.html
+++ b/docs/1.1.0/html/overview/implementation.html
@@ -1 +1,9 @@
-<meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/overview/implementation.html'" />
+<html>
+ <head>
+ <title>Redirecting to https://arm-software.github.io/psa-api/crypto/1.1/overview/implementation.html</title>
+ <meta http-equiv="Refresh" content="0; url='https://arm-software.github.io/psa-api/crypto/1.1/overview/implementation.html'" />
+ </head>
+ <body>
+ <p>This page has moved to <a href="https://arm-software.github.io/psa-api/crypto/1.1/overview/implementation.html">https://arm-software.github.io/psa-api/crypto/1.1/overview/implementation.html</a>.</p>
+ </body>
+</html>