Skip to content
Snippets Groups Projects
Commit 81f360ff authored by Allan Blanchard's avatar Allan Blanchard
Browse files

Be sure that lastest version is the stable one

parent 5b1f641b
No related branches found
No related tags found
1 merge request!78Be sure that lastest version is the stable one
Pipeline #30497 passed
......@@ -78,11 +78,11 @@ opam depext --install -y frama-c</pre>
For detailed installation instructions, <a target="_blank" href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">click here</a>
<br>Previous Frama-C versions are available <a href="/html/framac-versions.html">from this page</a>
</div>
{% for version in site.fc-versions %}{% if version.beta %}
{% if site.fc-versions.last.beta %}
<div class="otherVersion">
The bêta version of the next Frama-C release is available <a href="{{ version.url }}">here</a>
The bêta version of the next Frama-C release is available <a href="{{ site.fc-versions.last.url }}">here</a>
</div>
{% endif %}{% endfor %}
{% endif %}
<h1 class="pageTitle">Manuals</h1>
<div class="tileWrapper" size="big">
<div class="tile">
......
......@@ -220,8 +220,20 @@ title: Frama-C
<div class="head">
<h3 tabindex="0">Get Frama-C</h3>
{% 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 %}
<nav>
<span class="currentVersion">Latest Version</span><a role="button" href="/html/get-frama-c.html">{{ site.fc-versions.last.name }}</a><a href="/html/framac-versions.html" class="previousVersion">Previous Versions</a>
<span class="currentVersion">Latest Version</span><a role="button" href="/html/get-frama-c.html">{{ latest.name }}</a>
{% if beta %}<br><span class="currentVersion">Next Version</span><a role="button" href="{{ beta.url }}">{{ beta.name }}-&beta;</a>{% endif %}
<br><a href="/html/framac-versions.html" class="previousVersion">All Versions</a>
</nav>
</div>
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment