remove old consortium files, fix image links, make img alt language d…

…ependent
Decysif · Aug 26, 2024 · 5b47d2e · 5b47d2e
1 parent b8987ac
commit 5b47d2e
Show file tree

Hide file tree

Showing 6 changed files with 16 additions and 110 deletions.
diff --git a/content/en/_index.md b/content/en/_index.md
@@ -2,7 +2,7 @@
 title: "DéCySif"
 sectiontitle: "Home"
 cascade:
-  featured_image: '/images/Decysif.png'
+  featured_image: 'images/Decysif.png'
 description: "Formal verification in the service of safety and security"
 synopsis: "DéCySif is a regional R&D project funded by an i-Démo call and the
 Ile-de-France French region gathering Adacore, INRIA, OCamlPro and TrustInSoft.
@@ -28,6 +28,12 @@ project:
   Project DéCySif is the crucible for the improvement of all these tools and
   aims at guaranteeing convergence towards an optimal solution for the safety
   and security of embedded systems. "
+  img:
+    src: "images/Organisation-outils.png"
+    alt: "An image that shows the connections between the tools developed by
+    the actors of the DéCySif project. In the center, we see the Why3 platform,
+    and on the left side, the languages (Creusot, SPARK, TIS Analyzer) and the
+    Alt-Ergo prover on the right side."
 
 coordinator:
   sectiontitle: "Coordinator"

diff --git a/content/fr/_index.md b/content/fr/_index.md
@@ -2,7 +2,7 @@
 title: "DéCySif"
 sectiontitle: "Accueil"
 cascade:
-  featured_image: '/images/Decysif.png'
+  featured_image: 'images/Decysif.png'
 description: "La vérification formelle au service de la sécurité et la sûreté"
 synopsis: "DéCySif est un projet i-Demo régional de R&D regroupant Adacore,
 l'INRIA, OCamlPro et TrustInSoft. Il vise à améliorer la sécurité et la sûreté
@@ -26,6 +26,12 @@ project:
   <br />
   Le projet DéCySif vie l'amélioration de tous ces outils afin de converger vers
   une solution optimale pour la sécurité et la sûreté des systèmes critiques."
+  img:
+    src: "images/Organisation-outils.png"
+    alt: "Une image qui montre les liens entre les outils développés par les
+    acteurs du projet DéCySif. On voit au centre la platforme Why3 et, à
+    gauche, les langages utilisés (Creusot, SPARK, TIS Analyzer) et de l'autre
+    le prouveurs Alt-Ergo."
 
 coordinator:
   sectiontitle: "Coordinateur"

diff --git a/data/consortium_en.yaml b/data/consortium_en.yaml
diff --git a/data/consortium_fr.yaml b/data/consortium_fr.yaml
diff --git a/hugo.toml b/hugo.toml
@@ -25,7 +25,7 @@ Paginate = 10
       legal = "DéCySif is a project funded by the i-Démo call and the Ile-de-France region."
 
 [params]
-  site_logo = '/images/logo_decysif_excellence_for_security_blank_bg_rectangle.svg'
+  site_logo = 'images/logo_decysif_excellence_for_security_blank_bg_rectangle.svg'
   text_color = ""
   recent_posts_number = 5
 [params.contact]

diff --git a/layouts/index.html b/layouts/index.html
@@ -28,7 +28,7 @@ <h2 class="f2" id="{{ replaceRE " " "" .Params.project.sectiontitle }}">
       {{ .Params.project.content | markdownify}}
     </div>
     <figure>
-      <img src="/images/Organisation-outils.png" alt="Une image qui montre les liens entre les outils développés par les acteurs du projet DéCySif. On voit au centre la passerelle Why3 et de part et d'autre, les langages utilisés et les prouveurs que la passerelle instrumentalise.">
+      <img src="{{ .Params.project.img.src }}" alt="{{ .Params.project.img.alt }}">
     </figure>
     <h3 class="f3" id="{{ replaceRE " " "" .Params.coordinator.sectiontitle }}">
       {{ .Params.coordinator.sectiontitle }}