diff --git a/_layouts/version.html b/_layouts/version.html index d5b748eadc98c89a64c9257ebeaaf3d1a61c8475..9c2b8de0e1947cf85224c81c948230b04ab54ed0 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 }}{% 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-button arrow"> {% if page.previous %} diff --git a/html/framac-versions.html b/html/framac-versions.html index 42cc5279b0d760f1c854988995548ed0ca078f0b..73e41b9dae6bddb708216b66a4c42c434aff2d09 100755 --- a/html/framac-versions.html +++ b/html/framac-versions.html @@ -20,7 +20,7 @@ title: Versions Frama-C <ul class="arrowList versionsList"> {% for version in site.fc-versions reversed %} <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> {% endfor %} </ul> diff --git a/html/get-frama-c.html b/html/get-frama-c.html index 38d415690c3bb82415b67303ad43942f4c225de5..5a8401d601ffb687d2d28b7e10cd4e15c0134b30 100644 --- a/html/get-frama-c.html +++ b/html/get-frama-c.html @@ -80,7 +80,7 @@ opam depext --install -y frama-c</pre> </div> {% if site.fc-versions.last.beta %} <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> {% endif %} <h1 class="pageTitle">Manuals</h1>