From d0122196cc4ccc6d8ad3c25632bb335e2246efcb Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Oct 2020 08:24:06 +0100
Subject: [PATCH] Fixes versions 16 and 17
---
_fc-versions/chlorine.md | 4 +++-
_fc-versions/sulfur.md | 4 +++-
2 files changed, 6 insertions(+), 2 deletions(-)
diff --git a/_fc-versions/chlorine.md b/_fc-versions/chlorine.md
index a2e81ba9..2010b64b 100755
--- a/_fc-versions/chlorine.md
+++ b/_fc-versions/chlorine.md
@@ -14,8 +14,10 @@ releases:
help_link: /html/installations/chlorine.html
- name: User manual
link: /download/user-manual-Chlorine-20180501.pdf
+ - name: Plugin-In development guide
+ link: /download/plugin-development-guide-Chlorine-20180501.pdf
help: Hello plug-in tutorial archive
- help_link: download/hello-Chlorine-20180501.tar.gz
+ help_link: /download/hello-Chlorine-20180501.tar.gz
- name: API Documentation
link: /download/frama-c-Chlorine-20180501_api.tar.gz
- name: ACSL 1.13 (Chlorine implementation)
diff --git a/_fc-versions/sulfur.md b/_fc-versions/sulfur.md
index 6e21d004..0808a430 100755
--- a/_fc-versions/sulfur.md
+++ b/_fc-versions/sulfur.md
@@ -14,8 +14,10 @@ releases:
help_link: /html/installations/sulfur.html
- name: User manual
link: /download/user-manual-Sulfur-20171101.pdf
+ - name: Plugin-In development guide
+ link: /download/plugin-development-guide-Sulfur-20171101.pdf
help: Hello plug-in tutorial archive
- help_link: download/hello-Sulfur-20171101.tar.gz
+ help_link: /download/hello-Sulfur-20171101.tar.gz
- name: API Documentation
link: /download/frama-c-Sulfur-20171101_api.tar.gz
- name: ACSL 1.12 (Sulfur implementation)
--
GitLab