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/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>