Colibri doc, publication and posts

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 Framework</a></li>
+        <li><a href="#general">Colibri Tools</a></li>
         {% for category in site.data.publications %}
           <li>
             <a class="nav-link" href="#{{ category.id }}">
@@ -91,4 +91,4 @@ css: publications
     for (let link of links) {
       link.addEventListener("click", function() { check.checked = false; });
     }
-  </script>
\ No newline at end of file
+  </script>