From b91002ea10d9770da6b2d97edf28e896c01e0edf Mon Sep 17 00:00:00 2001 From: Nils Gillmann Date: Wed, 2 May 2018 15:25:44 +0000 Subject: [PATCH] ++ Signed-off-by: Nils Gillmann --- doc/documentation/gnunet.texi | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi index 4762f119a..2cd72373b 100644 --- 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:: -- 2.25.1