From 28444ad138d6d113f466f08270b8662c9e387b8d Mon Sep 17 00:00:00 2001
From: Basile Desloges <basile.desloges@cea.fr>
Date: Wed, 28 Oct 2020 15:19:38 +0100
Subject: [PATCH] Add E-ACSL implementation manual to the main download page
---
_fc-plugins/e-acsl.md | 1 +
html/get-frama-c.html | 7 +++++++
2 files changed, 8 insertions(+)
diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md
index 57062c5b..1621f5ea 100644
--- a/_fc-plugins/e-acsl.md
+++ b/_fc-plugins/e-acsl.md
@@ -10,6 +10,7 @@ additional:
link: /download/e-acsl/e-acsl.pdf
- name: "E-ACSL language reference implementation manual"
short: "Language implementation"
+ name_for_main_dl: "E-ACSL implementation"
link: /download/e-acsl/e-acsl-implementation.pdf
distrib_mode: main
---
diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index 62afa2f6..b387b809 100644
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -105,6 +105,13 @@ opam depext --install -y frama-c</pre>
</a>
</li>
{% endif %}
+ {% for add in plugin.additional %}
+ {% if add.name_for_main_dl %}
+ <li>
+ <a href="{{ add.link }}">{{ add.name_for_main_dl }}</a>
+ </li>
+ {% endif %}
+ {% endfor %}
{% endfor %}
</ul>
</div>
--
GitLab