From 5ee80984672e6b29845983c1193788ad20060c1e Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 8 Sep 2020 13:26:01 +0200
Subject: [PATCH] Homogeneous manual names
---
_fc-plugins/aorai.md | 2 +-
_fc-plugins/e-acsl.md | 6 +++---
_fc-plugins/frama-clang.md | 5 +++++
3 files changed, 9 insertions(+), 4 deletions(-)
diff --git a/_fc-plugins/aorai.md b/_fc-plugins/aorai.md
index 6a7b874b..72a79f76 100644
--- a/_fc-plugins/aorai.md
+++ b/_fc-plugins/aorai.md
@@ -88,7 +88,7 @@ reachability is not always obvious.
## Further Reading
-- [Short Documentation]({{page.manual_pdf}})
+- [Short documentation]({{page.manual_pdf}})
- [A few simple examples](/download/frama-c-aorai-example.tgz)
Other resources can be found at
diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md
index 2e0c9134..5fca3863 100644
--- a/_fc-plugins/e-acsl.md
+++ b/_fc-plugins/e-acsl.md
@@ -8,7 +8,7 @@ additional:
- name: "E-ACSL language reference manual"
short: "Language reference"
link: http://frama-c.com/download/e-acsl/e-acsl.pdf
- - name: "E-ACSL Language Reference Implementation Manual"
+ - name: "E-ACSL language reference implementation manual"
short: "Language implementation"
link: http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf
distrib_mode: main
@@ -67,10 +67,10 @@ are executed, the script can be simply used as follows:
The **E-ACSL** plug-in can use the results of both [RTE](rte.html) and
[Eva](eva.html) plug-ins. It can be combined with several other plug-ins,
such as [WP](wp.html), [Aoraï](aorai.html), [SecureFlow](secureflow.html),
-[StaDy](stady.html), [PathCrawler](pathcrawler.html), etc.
+[StaDy](stady.html), [PathCrawler](pathcrawler.html), [MetACSL](metacsl.html), etc.
## Further Reading
-- [E-ACSL User Manual]({{page.manual_pdf}})
+- [E-ACSL user manual]({{page.manual_pdf}})
{% for add in page.additional %}
- [{{add.name}}]({{add.link}}){% endfor %}
diff --git a/_fc-plugins/frama-clang.md b/_fc-plugins/frama-clang.md
index 424a895e..0ee97673 100644
--- a/_fc-plugins/frama-clang.md
+++ b/_fc-plugins/frama-clang.md
@@ -34,6 +34,11 @@ Further work is thus needed before Frama-Clang can claim to be a grown-up
plug-in. Feel free to [contact us](mailto:support@frama-c.com) if you're
interested in participating in its maturation.
+## Further Reading
+
+For more details about **Frama-Clang** plug-in,
+please consult the [Frama-Clang manual]({{page.manual_pdf}}).
+
## Installation
### Download
--
GitLab