diff --git a/html/documentation.html b/html/documentation.html index f09f6c6c52fa391b05aad42afbcc8735a710b778..064e5c9c590189787c76fca7779b6ba46e35352a 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 %}