From eeeb58e61a7b01679efff452bb9237e56f27b3af Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 26 Oct 2020 07:58:18 +0100
Subject: [PATCH] Fixes versions content for 19, 20 and 21
---
_fc-versions/calcium.md | 4 +++-
_fc-versions/potassium.md | 4 +++-
_fc-versions/scandium.md | 4 +++-
3 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/_fc-versions/calcium.md b/_fc-versions/calcium.md
index 48602203..e671cb3c 100755
--- a/_fc-versions/calcium.md
+++ b/_fc-versions/calcium.md
@@ -13,8 +13,10 @@ releases:
help_link: /html/installations/calcium.html
- name: User manual
link: /download/user-manual-20.0-Calcium.pdf
+ - name: Plugin-In development guide
+ link: /download/plugin-development-guide-20.0-Calcium.pdf
help: Hello plug-in tutorial archive
- help_link: download/hello-20.0-Calcium.tar.gz
+ help_link: /download/hello-20.0-Calcium.tar.gz
- name: API Documentation
link: /download/frama-c-20.0-Calcium-api.tar.gz
- name: ACSL 1.14 (Calcium implementation)
diff --git a/_fc-versions/potassium.md b/_fc-versions/potassium.md
index 056292f5..1c3685c9 100755
--- a/_fc-versions/potassium.md
+++ b/_fc-versions/potassium.md
@@ -13,8 +13,10 @@ releases:
help_link: /html/installations/potassium.html
- name: User manual
link: /download/user-manual-19.1-Potassium.pdf
+ - name: Plugin-In development guide
+ link: /download/plugin-development-guide-19.1-Potassium.pdf
help: Hello plug-in tutorial archive
- help_link: download/hello-19.1-Potassium.tar.gz
+ help_link: /download/hello-19.1-Potassium.tar.gz
- name: API Documentation
link: /download/frama-c-19.1-Potassium-api.tar.gz
- name: ACSL 1.14 (Potassium implementation)
diff --git a/_fc-versions/scandium.md b/_fc-versions/scandium.md
index 7a4165ac..14b152eb 100755
--- a/_fc-versions/scandium.md
+++ b/_fc-versions/scandium.md
@@ -13,8 +13,10 @@ releases:
help_link: /html/installations/scandium.html
- name: User manual
link: /download/user-manual-21.1-Scandium.pdf
+ - name: Plugin-In development guide
+ link: /download/plugin-development-guide-21.1-Calcium.pdf
help: Hello plug-in tutorial archive
- help_link: download/hello-21.1-Scandium.tar.gz
+ help_link: /download/hello-21.1-Scandium.tar.gz
- name: API Documentation
link: /download/frama-c-21.1-Scandium-api.tar.gz
- name: ACSL 1.15 (Scandium implementation)
--
GitLab