Doc: update redirect html

* disallow indexing the redirect page * remove unnecessary script type
ojensen5115 · Jan 8, 2023 · 755d8be · 755d8be
1 parent e4684f0
commit 755d8be
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/documentation/src/index.html b/documentation/src/index.html
@@ -2,8 +2,9 @@
 <html lang="en-US">
   <head>
     <meta charset="UTF-8">
-    <meta http-equiv="refresh" content="0;url=html/index.html">
-    <script type="text/javascript">
+    <meta name="robots" content="noindex, follow">
+    <meta http-equiv="refresh" content="0; url=html/index.html">
+    <script>
       window.location.href = "html/index.html"
     </script>
     <title>Page Redirection</title>