++

Signed-off-by: Nils Gillmann <ng0@n0.is>

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index 4762f119a56b882c51c8f0138a79a675ac565291..2cd72373b11797b377d867468a356f0f28b882f6 100644 (file)
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -72,6 +72,7 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 
 @menu
 
+* Terminology::                     Terminology used throughout the Manual
 * Philosophy::                      About GNUnet
 @c * Vocabulary::                      Vocabulary
 * GNUnet Installation Handbook::    How to install GNUnet
@@ -87,7 +88,7 @@ This document is the Reference Manual for GNUnet version @value{VERSION}.
 @detailmenu
  --- The Detailed Node Listing ---
 
-Terminology and Typography
+Terminology
 
 * General Terminology::
 * Typography::