diff --git a/html/get-frama-c.html b/html/get-frama-c.html index b387b809c9d4db4c69ae6bcf2cdbfc9819bce06f..38d415690c3bb82415b67303ad43942f4c225de5 100644 --- a/html/get-frama-c.html +++ b/html/get-frama-c.html @@ -78,11 +78,11 @@ opam depext --install -y frama-c For detailed installation instructions, click here
Previous Frama-C versions are available from this page - {% for version in site.fc-versions %}{% if version.beta %} + {% if site.fc-versions.last.beta %}
- The bĂȘta version of the next Frama-C release is available here + The bĂȘta version of the next Frama-C release is available here
- {% endif %}{% endfor %} + {% endif %}

Manuals

diff --git a/index.html b/index.html index bbbcc9e1b72dde20885bd04ce65c81e0d92edf4c..f4fb6d1c347fa65d26fdb2eee13e1a0754c69289 100755 --- a/index.html +++ b/index.html @@ -220,8 +220,20 @@ title: Frama-C

Get Frama-C

+ {% for version in site.fc-versions reversed %} + {% unless version.beta %} + {% assign latest = version %} + {% break %} + {% endunless %} + {% endfor %} + {% if site.fc-versions.last.beta %} + {% assign beta = site.fc-versions.last %} + {% endif %} +