rewrite a few section titles

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>
+</body>
\ No newline at end of file

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>
+</script>
\ No newline at end of file

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>
+</body>
\ No newline at end of file