From 868bf5c45f4c481839457f5ae180e8ce759e3e60 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 4 May 2017 13:26:19 +0200
Subject: adding glossary to main page

---
 common/navigation.j2.inc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'common')

diff --git a/common/navigation.j2.inc b/common/navigation.j2.inc
index 9567fb97..d6204420 100644
--- a/common/navigation.j2.inc
+++ b/common/navigation.j2.inc
@@ -10,6 +10,7 @@
         <ul class="dropdown-menu">
           <li><a href="architecture.html">System Architecture</a></li>
           <li><a href="faq.html">FAQ</a></li>
+          <li><a href="glossary.html">Glossary</a></li>
           <li><a href="developers.html">Developer Introduction</a></li>
           <li><a href="bibliography.html">Bibliography</a></li>
         </ul>
-- 
cgit v1.2.3