Message for old or beta version

0873e4a0 · Allan Blanchard · 3e6a5548 · 0873e4a0 · 0873e4a0 · 0873e4a0
Commit 0873e4a0 authored Apr 27, 2021 by Allan Blanchard
--- a/_layouts/installation_page.html
+++ b/_layouts/installation_page.html
+---
+layout: default
+css: documentation
+---
+
+<body class="page nonTouch">
+  <div id="wrapper" class="hfeed">
+    <div id="container" class="mainContainer">
+      <div class="tabs">
+        <div class="pageKernel pages">
+          <div class="wrap">
+            {% include headers.html header="documentation" %}
+            {% for version in site.fc-versions reversed %}
+              {% if version.beta %}
+                {% assign beta = version.name | downcase %}
+              {% endif %}
+              {% unless version.beta %}
+                {% assign latest = version.name | downcase %}
+                {% break %}
+              {% endunless %}
+            {% endfor %}
+            {% unless page.version == latest %}
+              {% if beta and beta == page.version %}
+                {% assign text = "a beta" %}
+              {% else %}
+                {% assign text = "an older" %}
+              {% endif %}
+              <p>
+                <b>Note:</b> these instructions refer to {{ text }} release of Frama-C;
+                for the latest stable release, click
+                <a href="/html/installations/{{ latest }}.html">here</a>
+              </p>
+            {% endunless %}
+            {{ content }}
+          </div>
+        </div>
+				
+        {% include footer.html %}
+
+       <div class="clear"></div>
+    </div>
+  </div>
+
--- a/html/installations/aluminium.html
+++ b/html/installations/aluminium.html
 ---
-layout: doc_page
+layout: installation_page
+version: aluminium
 title: Installation instructions for Aluminium
 ---


--- a/html/installations/argon.html
+++ b/html/installations/argon.html
 ---
-layout: doc_page
+layout: installation_page
+version: argon
 title: Installation instructions for 18.0 Argon
 ---


--- a/html/installations/beryllium-OSX.html
+++ b/html/installations/beryllium-OSX.html
 ---
-layout: doc_page
+layout: installation_page
+version: beryllium-osx
 title: Installation instructions for Frama-C Beryllium release
 ---


--- a/html/installations/beryllium-why-2.21.html
+++ b/html/installations/beryllium-why-2.21.html
 ---
-layout: doc_page
+layout: installation_page
+version: beryllium-why
 title: Installation instructions for Frama-C Beryllium release
 ---


--- a/html/installations/beryllium-windows-20090902.html
+++ b/html/installations/beryllium-windows-20090902.html
 ---
-layout: doc_page
+layout: installation_page
+version: beryllium-windows-2
 title: Installation instructions for Frama-C Beryllium release
 ---


--- a/html/installations/beryllium-windows.html
+++ b/html/installations/beryllium-windows.html
 ---
-layout: doc_page
+layout: installation_page
+version: beryllium-windows
 title: Installation instructions for Frama-C Beryllium release
 ---


--- a/html/installations/beryllium.html
+++ b/html/installations/beryllium.html
 ---
-layout: doc_page
+layout: installation_page
+version: beryllium
 title: Installation instructions for Frama-C Beryllium release
 ---


--- a/html/installations/boron-OSX.html
+++ b/html/installations/boron-OSX.html
 ---
-layout: doc_page
+layout: installation_page
+version: boron-osx
 title: Installation instructions for Frama-C Boron release
 ---


--- a/html/installations/boron-why-2.24.html
+++ b/html/installations/boron-why-2.24.html
 ---
-layout: doc_page
+layout: installation_page
+version: boron-why
 title: Installation instructions for Frama-C Boron release
 ---


--- a/html/installations/boron-windows.html
+++ b/html/installations/boron-windows.html
 ---
-layout: doc_page
+layout: installation_page
+version: boron-windows
 title: Installation instructions for Frama-C Boron release
 ---


--- a/html/installations/boron.html
+++ b/html/installations/boron.html
 ---
-layout: doc_page
+layout: installation_page
+version: boron
 title: Installation instructions for Frama-C Boron release
 ---


--- a/html/installations/calcium.html
+++ b/html/installations/calcium.html
 ---
-layout: doc_page
+layout: installation_page
+version: calcium
 title: Installation instructions for Calcium
 ---


--- a/html/installations/carbon-OSX.html
+++ b/html/installations/carbon-OSX.html
 ---
-layout: doc_page
+layout: installation_page
+version: carbon-osx
 title: Installation instructions for Frama-C Carbon release
 ---


--- a/html/installations/carbon-beta.html
+++ b/html/installations/carbon-beta.html
 ---
-layout: doc_page
+layout: installation_page
+version: carbon-beta
 title: Installation instructions for Frama-C Carbon beta
 ---


--- a/html/installations/carbon-wp.html
+++ b/html/installations/carbon-wp.html
 ---
-layout: doc_page
+layout: installation_page
+version: carbon-wp
 title: Installation instructions for Frama-C WP Carbon
 ---


--- a/html/installations/carbon.html
+++ b/html/installations/carbon.html
 ---
-layout: doc_page
+layout: installation_page
+version: carbon
 title: Installation instructions for Frama-C Carbon release
 ---


--- a/html/installations/chlorine.html
+++ b/html/installations/chlorine.html
 ---
-layout: doc_page
+layout: installation_page
+version: chlorine
 title: Installation instructions for Chlorine
 ---


--- a/html/installations/fluorine-20130401.html
+++ b/html/installations/fluorine-20130401.html
 ---
-layout: doc_page
+layout: installation_page
+version: fluorine-1
 title: Installation instructions for Frama-C Fluorine
 ---


--- a/html/installations/fluorine-20130501.html
+++ b/html/installations/fluorine-20130501.html
 ---
-layout: doc_page
+layout: installation_page
+version: fluorine-2
 title: Installation instructions for Frama-C Fluorine 2
 ---