From a1cefe3b3b7715e35cc895ec54ffeeffcb654e1f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Oct 2020 08:17:50 +0100
Subject: [PATCH] =?UTF-8?q?Add=20b=C3=AAta=20version=20to=20versions=20whe?=
=?UTF-8?q?n=20it=20is=20available?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
_layouts/version.html | 2 +-
html/framac-versions.html | 14 ++++++++------
html/get-frama-c.html | 7 ++++++-
3 files changed, 15 insertions(+), 8 deletions(-)
diff --git a/_layouts/version.html b/_layouts/version.html
index 2744294c..19157b2e 100644
--- a/_layouts/version.html
+++ b/_layouts/version.html
@@ -13,7 +13,7 @@ css: version
<div class="defaultPage versionsPage pages textLeft" id="content" role="main">
<div class="wrap">
- <h3>Frama-C v{{ page.number }} {{ page.name }}</h3>
+ <h3>Frama-C v{{ page.number }} {{ page.name }}{% if page.beta %} [Bêta] {% endif %}</h3>
<div class="navigate-versions">
<div class="navigate-versions-button">
{% if page.previous %}
diff --git a/html/framac-versions.html b/html/framac-versions.html
index a9e62064..749d69e0 100755
--- a/html/framac-versions.html
+++ b/html/framac-versions.html
@@ -1,6 +1,6 @@
----
-layout: default
-title: Versions Frama-C
+---
+layout: default
+title: Versions Frama-C
---
<div id="wrapper" class="hfeed">
@@ -17,16 +17,18 @@ title: Versions Frama-C
plug-in Jessie.</p>
</div>
- <ul class="arrowList versionsList">
- {% for version in site.fc-versions reversed %}
+ <ul class="arrowList versionsList">
+ {% for version in site.fc-versions reversed %}
+ {% unless version.beta %}
<li>
<a href="{{ version.url }}">Frama-C v{{ version.number }} {{ version.name }}</a>
</li>
+ {% endunless %}
{% endfor %}
</ul>
</div>
</div>
- </div>
+ </div>
{% include footer.html %}
<div class="clear"></div>
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 130c6659..932b2516 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -19,7 +19,12 @@ title: Get Frama-C
<a href="#" role="button" class="tab-up tab-up-linux" onClick="clickTab('linux')"><b>Linux</b></a> <a href="#" role="button" class="tab-up tab-up-mac" onClick="clickTab('mac')"><b>Mac</b></a> <a href="#" role="button" class="tab-up tab-up-windows" onClick="clickTab('windows')"><b>Windows (WSL)</b></a>
</div>
<br>
- <a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
+ <a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
+ {% for version in site.fc-versions %}
+ {% if version.beta %}
+ - <a href="{{ version.url }}" class="previousVersion">Bêta Version</a>
+ {% endif %}
+ {% endfor %}
<div class="notebook code">
<div>
<div class="codeScreen">
--
GitLab