Add redirections for old urls

06f1b868 · Allan Blanchard · 38dce83e · 06f1b868 · 06f1b868 · 06f1b868
Commit 06f1b868 authored Nov 23, 2020 by Allan Blanchard
--- a/_config.yml
+++ b/_config.yml
@@ -38,8 +38,8 @@ jekyll-minifier:
                harmony: true


-include: ['html']
 exclude: ['download',_jobs/skeleton.md, README.md]
+include: ['html','download.html']

 collections:
  fc-plugins:

--- a/acsl.html
+++ b/acsl.html
+<!DOCTYPE html>
+<html>
+   <head>
+      <title>ACSL - Frama-C</title>
+      <meta http-equiv = "refresh" content = "0; url=/html/acsl.html" />
+      <link rel="canonical" href="https://www.frama-c.com/html/acsl.html" />
+      <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>
+   </body>
+</html>
\ No newline at end of file
--- a/download.html
+++ b/download.html
+<!DOCTYPE html>
+<html>
+   <head>
+      <title>Get Frama-C</title>
+      <meta http-equiv = "refresh" content = "0; url=/html/get-frama-c.html" />
+      <link rel="canonical" href="https://www.frama-c.com/html/get-frama-c.html" />
+      <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>
+   </body>
+</html>
\ No newline at end of file
--- a/what_is.html
+++ b/what_is.html
+<!DOCTYPE html>
+<html>
+   <head>
+      <title>Overview - Frama-C</title>
+      <meta http-equiv = "refresh" content = "0; url=/html/overview.html" />
+      <link rel="canonical" href="https://www.frama-c.com/html/overview.html" />
+      <meta description = "Quick description of Frama-C, the C programs analysis platform." />
+   </head>
+   <body>
+      <p>Redirect to <a href="https://www.frama-c.com/html/overview.html">Overview</a></p>
+   </body>
+</html>
\ No newline at end of file