From f1065121e7f3b33c4803003f33b29ee395002f89 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 16 Nov 2020 12:00:13 +0100
Subject: [PATCH] Typo
---
html/documentation.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/html/documentation.html b/html/documentation.html
index f09f6c6c..064e5c9c 100755
--- a/html/documentation.html
+++ b/html/documentation.html
@@ -80,7 +80,7 @@ title: Documentation - Frama-C
{% endif %}
{% for add in plugin.additional %}
<li><a href="{{add.link}}">
- {% if add.lang == "FR" %}<img src="/assets/img/icons/france-flag-waving-icon-16.png" alt="InFrench">{% endif %}
+ {% if add.lang == "FR" %}<img src="/assets/img/icons/france-flag-waving-icon-16.png" alt="In French">{% endif %}
{% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}
</a></li>
{% endfor %}
--
GitLab