diff --git a/html/framac-versions.html b/html/framac-versions.html index 749d69e0fa32b96415c582bb8b3d6d54123d6688..1c2619560afbb2e85cf5f853d7afbeabdb9cf61d 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 932b251622241b29971966ee5cbd44473859c5cf..895701d880fd0d5c2bffe5a5f27e3db8b8f31ff5 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>