More redirections + fix links name

2fedea2d · Allan Blanchard · 06f1b868 · 2fedea2d · 2fedea2d · 2fedea2d
Commit 2fedea2d authored 4 years ago by Allan Blanchard
--- a/acsl.html
+++ b/acsl.html
@@ -7,6 +7,6 @@
      <meta description = "Description of the ANSI C Specification Language." />
   </head>
   <body>
-      <p>Redirect to <a href="https://www.frama-c.com/html/acsl.html">Overview</a></p>
+      <p>Redirect to <a href="https://www.frama-c.com/html/acsl.html">ACSL</a></p>
   </body>
 </html>
\ No newline at end of file
--- a/download.html
+++ b/download.html
@@ -7,6 +7,6 @@
      <meta description = "Download and install the Frama-C analysis platform now!" />
   </head>
   <body>
-      <p>Redirect to <a href="https://www.frama-c.com/html/get-frama-c.html">Overview</a></p>
+      <p>Redirect to <a href="https://www.frama-c.com/html/get-frama-c.html">Get Frama-C</a></p>
   </body>
 </html>
\ No newline at end of file
--- a/features.html
+++ b/features.html
+<!DOCTYPE html>
+<html>
+   <head>
+      <title>ACSL - Frama-C</title>
+      <meta http-equiv = "refresh" content = "0; url=/html/kernel-plugin.html" />
+      <link rel="canonical" href="https://www.frama-c.com/html/kernel-plugin.html" />
+      <meta description = "Description of the ANSI C Specification Language." />
+   </head>
+   <body>
+      <p>Redirect to <a href="https://www.frama-c.com/html/kernel-plugin.html">Kernel and plugins page</a></p>
+   </body>
+</html>
\ No newline at end of file