From 89ef6c2e4bbf2d055c76f47d2b380865af8d77c5 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 4 Sep 2020 11:30:12 +0200
Subject: [PATCH] Cosmetic changes in documentation
---
_data/plugins_categories.yml | 6 +++---
_fc-plugins/e-acsl.md | 6 +++---
html/documentation.html | 16 ++++++++--------
3 files changed, 14 insertions(+), 14 deletions(-)
diff --git a/_data/plugins_categories.yml b/_data/plugins_categories.yml
index 801dbf5c..7a87f727 100644
--- a/_data/plugins_categories.yml
+++ b/_data/plugins_categories.yml
@@ -13,11 +13,11 @@
- name: Code transformation
key: code
-- name: For browsing unfamiliar code
+- name: Browsing unfamiliar code
key: browsing
-- name: Front-end for other languages
+- name: Front-ends for other languages
key: front
-- name: For concurrent/multi-threaded programs
+- name: Concurrent/multi-threaded programs
key: concurrent
diff --git a/_fc-plugins/e-acsl.md b/_fc-plugins/e-acsl.md
index 722df69c..2e0c9134 100644
--- a/_fc-plugins/e-acsl.md
+++ b/_fc-plugins/e-acsl.md
@@ -5,11 +5,11 @@ description: Runtime Verification Tool
key: main
manual_pdf: http://frama-c.com/download/e-acsl/e-acsl-manual.pdf
additional:
- - name: "E-ACSL Language Reference Manual"
- short: "Language Reference"
+ - 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"
- short: "Language Implementation"
+ short: "Language implementation"
link: http://frama-c.com/download/e-acsl/e-acsl-implementation.pdf
distrib_mode: main
---
diff --git a/html/documentation.html b/html/documentation.html
index 6ff08638..e1a11a0b 100755
--- a/html/documentation.html
+++ b/html/documentation.html
@@ -23,7 +23,7 @@ title: Documentation - Frama-C
<h4 class="tileTitle"><span>Frama-C</span></h4>
<ul>
<li><a href="/html/kernel.html">Description page</a></li>
- <li><a href="/download/frama-c-user-manual.pdf">User Manual</a></li>
+ <li><a href="/download/frama-c-user-manual.pdf">User manual</a></li>
<li><a href="https://git.frama-c.com/pub/frama-c/blob/master/INSTALL.md">Installation</a></li>
<li><a href="/html/get-frama-c.html">Releases</a></li>
<li><a href="/html/publications.html">List of publications</a></li>
@@ -35,17 +35,17 @@ title: Documentation - Frama-C
<h4 class="tileTitle"><span>ACSL</span></h4>
<ul>
<li><a href="/html/acsl.html">Description page</a></li>
- <li><a href="/download/acsl.pdf">Language Reference</a></li>
- <li><a href="/download/frama-c-acsl-implementation.pdf">Language Implementation</a></li>
- <li><a href="https://github.com/acsl-language/acsl">ACSL Git Repository</a></li>
+ <li><a href="/download/acsl.pdf">Language reference</a></li>
+ <li><a href="/download/frama-c-acsl-implementation.pdf">Language implementation</a></li>
+ <li><a href="https://github.com/acsl-language/acsl">ACSL Git repository</a></li>
<li><a href="https://github.com/fraunhoferfokus/acsl-by-example/blob/master/ACSL-by-Example.pdf">ACSL by Example</a></li>
</ul>
</div>
<div class="tile">
<h4 class="tileTitle"><span>Contributing</span></h4>
<ul>
- <li><a href="https://git.frama-c.com/pub/frama-c/">Frama-C Git Repository</a></li>
- <li><a href="https://git.frama-c.com/pub/pub.frama-c.com/">Website Git Repository</a></li>
+ <li><a href="https://git.frama-c.com/pub/frama-c/">Frama-C Git repository</a></li>
+ <li><a href="https://git.frama-c.com/pub/pub.frama-c.com/">Website Git repository</a></li>
<li><a href="https://git.frama-c.com/pub/frama-c/blob/master/CONTRIBUTING.md">Contributer guide</a></li>
<li><a href="https://git.frama-c.com/pub/frama-c/-/issues">Known issues</a></li>
<li><a href="/html/bug_reporting_guidelines.html">Bug reporting guide</a></li>
@@ -60,7 +60,7 @@ title: Documentation - Frama-C
<div class="tile">
<h4 class="tileTitle"><span>Plugin Development</span></h4>
<ul>
- <li><a href="/download/frama-c-plugin-development-guide.pdf">Developer Manual</a></li>
+ <li><a href="/download/frama-c-plugin-development-guide.pdf">Developer manual</a></li>
</ul>
</div>
{% for plugin in site.fc-plugins %}
@@ -77,7 +77,7 @@ title: Documentation - Frama-C
<ul>
<li><a href="{{plugin.url}}">Description page</a></li>
{% if plugin.manual_pdf %}
- <li><a href="{{plugin.manual_pdf}}">User Manual</a></li>
+ <li><a href="{{plugin.manual_pdf}}">User manual</a></li>
{% endif %}
{% for add in plugin.additional %}
<li><a href="{{add.link}}">{% if add.short %}{{add.short}}{% else %}{{add.name}}{% endif %}</a></li>
--
GitLab