From 3926ea2e0ccac7542a4687c74b65d2aa1c2ccc6f Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Fri, 25 Sep 2020 16:23:36 +0200
Subject: [PATCH] rewrite a few section titles
---
html/documentation.html | 4 ++--
html/publications.html | 6 +++---
html/tutorials.html | 4 ++--
3 files changed, 7 insertions(+), 7 deletions(-)
diff --git a/html/documentation.html b/html/documentation.html
index 2e20aff6..1dd78b2d 100755
--- a/html/documentation.html
+++ b/html/documentation.html
@@ -54,7 +54,7 @@ title: Documentation - Frama-C
<div class="tileWrapper" size="small">
<div class="tileWrapperTitle">
- <span>Plug-ins Manuals</span>
+ <span>Plug-in Manuals</span>
</div>
<div class="tile">
<h4 class="tileTitle"><span>Plugin Development</span></h4>
@@ -96,4 +96,4 @@ title: Documentation - Frama-C
<div class="clear"></div>
</div>
</div>
-</body>
\ No newline at end of file
+</body>
diff --git a/html/publications.html b/html/publications.html
index b95316d1..ea4bbc3d 100644
--- a/html/publications.html
+++ b/html/publications.html
@@ -9,7 +9,7 @@ css: publications
<input class="nav-check" id="nav-check" type="checkbox">
<nav class="navigation">
<ul>
- <li><a href="#general">Frama-C General</a></li>
+ <li><a href="#general">Frama-C Framework</a></li>
{% for category in site.data.publications %}
<li>
<a class="nav-link" href="#{{ category.id }}">
@@ -48,7 +48,7 @@ css: publications
<div class="wrap">
<h1 class="pageTitle">Publications</h1>
- <h1 id="general" class="anchor"> Frama-C General </h1>
+ <h1 id="general" class="anchor"> Frama-C Framework </h1>
{% include publication-entries.html
title="Manuals" category="manuals" plugin="general" %}
@@ -89,4 +89,4 @@ css: publications
for (let link of links) {
link.addEventListener("click", function() { check.checked = false; });
}
-</script>
\ No newline at end of file
+</script>
diff --git a/html/tutorials.html b/html/tutorials.html
index 48f75ebe..9ce5e578 100644
--- a/html/tutorials.html
+++ b/html/tutorials.html
@@ -13,7 +13,7 @@ css: publications
<div class="wrap" has-nav="no">
<h1 class="pageTitle">Tutorials</h1>
- <h1 id="general" class="anchor"> Frama-C General </h1>
+ <h1 id="general" class="anchor"> Frama-C Framework </h1>
{% include publication-entries.html
category="tutorials" plugin="general" %}
@@ -32,4 +32,4 @@ css: publications
</div>
</div>
</div>
-</body>
\ No newline at end of file
+</body>
--
GitLab