From 4a1c347bb0c0e82379c1e79084b2b833cc4f9c2d Mon Sep 17 00:00:00 2001
From: Augustin Lemesle <augustin.lemesle@cea.fr>
Date: Fri, 25 Sep 2020 16:51:40 +0200
Subject: [PATCH] add publications in nav
---
_data/nav.yml | 3 +++
html/documentation.html | 2 +-
html/publications.html | 2 +-
3 files changed, 5 insertions(+), 2 deletions(-)
diff --git a/_data/nav.yml b/_data/nav.yml
index 3e25bf22..dec6750d 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 2e20aff6..f2960bc4 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 b95316d1..23ecba66 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">
--
GitLab