diff --git a/_data/nav.yml b/_data/nav.yml
index 3e25bf22891ef5b96e236a3328cda137a52671c8..dec6750dc4de99699dd84747ccf6da107ac8f0c3 100644
--- a/_data/nav.yml
+++ b/_data/nav.yml
@@ -7,6 +7,9 @@
 - name: Documentation
   link: /html/documentation.html
   id  : documentation
+- name: Publications
+  link: /html/publications.html
+  id: publications
 - name: Blog
   link: /blog/index.html
   id  : blog
diff --git a/html/documentation.html b/html/documentation.html
index 2e20aff6f380d7c3d50ab98ecff8b74598d3b28c..f2960bc4db08ecae3d2b622d73ce4ff1eed2da78 100755
--- a/html/documentation.html
+++ b/html/documentation.html
@@ -25,7 +25,7 @@ title: Documentation - Frama-C
                 <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>
+                <!-- <li><a href="/html/publications.html">List of publications</a></li> -->
                 <li><a href="/html/tutorials.html">Tutorials</a></li>
                 <li><a href="/html/teaching.html">Teaching</a></li>
               </ul>
diff --git a/html/publications.html b/html/publications.html
index b95316d164ca1686b6c966771b651f5fdede12fd..23ecba66d9139bd294eacf9c3591fda5e4ff9cd0 100644
--- a/html/publications.html
+++ b/html/publications.html
@@ -41,7 +41,7 @@ css: publications
   </div>
 
   <div id="wrapper" class="hfeed">
-    {% include headers.html header="documentation" %}    
+    {% include headers.html header="publications" %}    
 
     <div id="container" class="mainContainer">
       <div class="pagePublications pages">