diff --git a/_layouts/version.html b/_layouts/version.html index 2744294c44fdd3e385bee10234f1140cb93f8445..19157b2e57e7fee5b9bfce5d26759024074c3f39 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 a9e62064717df7fd43ebadfcdea4710331f7e427..749d69e0fa32b96415c582bb8b3d6d54123d6688 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 130c665912dca5e9711047170d3f72a920c8f4f1..932b251622241b29971966ee5cbd44473859c5cf 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">