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

Merge branch 'fix-beta-accent' into 'master'

remove extraneous accents

See merge request !79
parents ec3b9961 5328bcb1
No related branches found
No related tags found
1 merge request!79remove extraneous accents
Pipeline #30559 passed
...@@ -13,7 +13,7 @@ css: version ...@@ -13,7 +13,7 @@ css: version
<div class="defaultPage versionsPage pages textLeft" id="content" role="main"> <div class="defaultPage versionsPage pages textLeft" id="content" role="main">
<div class="wrap"> <div class="wrap">
<h3>Frama-C v{{ page.number }} {{ page.name }}{% if page.beta %} [Bêta] {% endif %}</h3> <h3>Frama-C v{{ page.number }} {{ page.name }}{% if page.beta %} [Beta] {% endif %}</h3>
<div class="navigate-versions"> <div class="navigate-versions">
<div class="navigate-versions-button arrow"> <div class="navigate-versions-button arrow">
{% if page.previous %} {% if page.previous %}
......
...@@ -20,7 +20,7 @@ title: Versions Frama-C ...@@ -20,7 +20,7 @@ title: Versions Frama-C
<ul class="arrowList versionsList"> <ul class="arrowList versionsList">
{% for version in site.fc-versions reversed %} {% for version in site.fc-versions reversed %}
<li> <li>
<a href="{{ version.url }}">Frama-C v{{ version.number }} {{ version.name }} {% if version.beta %}[Bêta]{% endif %} </a> <a href="{{ version.url }}">Frama-C v{{ version.number }} {{ version.name }} {% if version.beta %}[Beta]{% endif %} </a>
</li> </li>
{% endfor %} {% endfor %}
</ul> </ul>
......
...@@ -80,7 +80,7 @@ opam depext --install -y frama-c</pre> ...@@ -80,7 +80,7 @@ opam depext --install -y frama-c</pre>
</div> </div>
{% if site.fc-versions.last.beta %} {% if site.fc-versions.last.beta %}
<div class="otherVersion"> <div class="otherVersion">
The bêta version of the next Frama-C release is available <a href="{{ site.fc-versions.last.url }}">here</a> The beta version of the next Frama-C release is available <a href="{{ site.fc-versions.last.url }}">here</a>
</div> </div>
{% endif %} {% endif %}
<h1 class="pageTitle">Manuals</h1> <h1 class="pageTitle">Manuals</h1>
......
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