From 525e1c293c2a313e5cb54a294098a7ec595f9686 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Oct 2020 08:28:28 +0100
Subject: [PATCH] =?UTF-8?q?No=20more=20"previous"=20versions=20but=20"all"?=
=?UTF-8?q?=20incl.=20b=C3=AAta?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
html/framac-versions.html | 8 +++-----
html/get-frama-c.html | 2 +-
2 files changed, 4 insertions(+), 6 deletions(-)
diff --git a/html/framac-versions.html b/html/framac-versions.html
index 749d69e0..1c261956 100755
--- a/html/framac-versions.html
+++ b/html/framac-versions.html
@@ -19,11 +19,9 @@ title: Versions Frama-C
<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 %}
+ <li>
+ <a href="{{ version.url }}">Frama-C v{{ version.number }} {{ version.name }} {% if version.beta %}[Bêta]{% endif %} </a>
+ </li>
{% endfor %}
</ul>
</div>
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 932b2516..895701d8 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -19,7 +19,7 @@ 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">All Versions</a>
{% for version in site.fc-versions %}
{% if version.beta %}
- <a href="{{ version.url }}" class="previousVersion">Bêta Version</a>
--
GitLab