1 files changed, 9 insertions, 0 deletions

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 5dbee8a54..b977a9a14 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -87,6 +87,11 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 @detailmenu
  --- The Detailed Node Listing ---
 
+Terminology and Typography
+
+* Terminology
+* Typography
+
 Philosophy
 
 * Design Goals::
@@ -190,6 +195,10 @@ GNUnet Developer Handbook
 @end menu
 
 @c *********************************************************************
+@include chapters/terminology.texi
+@c *********************************************************************
+
+@c *********************************************************************
 @include chapters/philosophy.texi
 @c *********************************************************************