From 5328bcb1cf19fcf7ef6455ed1d3da51e8b94d6d7 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 30 Oct 2020 10:41:01 +0100
Subject: [PATCH] remove extraneous accents
---
_layouts/version.html | 2 +-
html/framac-versions.html | 2 +-
html/get-frama-c.html | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/_layouts/version.html b/_layouts/version.html
index d5b748ea..9c2b8de0 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 42cc5279..73e41b9d 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 38d41569..5a8401d6 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>
--
GitLab