summaryrefslogtreecommitdiff
path: root/doc/documentation
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-05-02 15:25:44 +0000
committerNils Gillmann <ng0@n0.is>2018-05-02 15:25:44 +0000
commitb91002ea10d9770da6b2d97edf28e896c01e0edf (patch)
tree58e36f65f5c953f95b8735717fc0b84cca82f707 /doc/documentation
parent4834bb94f365ff30b457a097a7490e72003a2c7b (diff)
++
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/documentation')
-rw-r--r--doc/documentation/gnunet.texi3
1 files changed, 2 insertions, 1 deletions
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::