diff options
-rw-r--r-- | doc/documentation/gnunet.texi | 3 |
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}. | |||
72 | 72 | ||
73 | @menu | 73 | @menu |
74 | 74 | ||
75 | * Terminology:: Terminology used throughout the Manual | ||
75 | * Philosophy:: About GNUnet | 76 | * Philosophy:: About GNUnet |
76 | @c * Vocabulary:: Vocabulary | 77 | @c * Vocabulary:: Vocabulary |
77 | * GNUnet Installation Handbook:: How to install GNUnet | 78 | * GNUnet Installation Handbook:: How to install GNUnet |
@@ -87,7 +88,7 @@ This document is the Reference Manual for GNUnet version @value{VERSION}. | |||
87 | @detailmenu | 88 | @detailmenu |
88 | --- The Detailed Node Listing --- | 89 | --- The Detailed Node Listing --- |
89 | 90 | ||
90 | Terminology and Typography | 91 | Terminology |
91 | 92 | ||
92 | * General Terminology:: | 93 | * General Terminology:: |
93 | * Typography:: | 94 | * Typography:: |