Documentation: Drop the empty '1.5 General Terminology' section for now

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

diff --git a/doc/documentation/chapters/preface.texi b/doc/documentation/chapters/preface.texi
index 12abc2b7b2b49375688badf538eba8cd4912d410..29cf924a205860db840d90142a1ba75f677802ca 100644 (file)
--- a/doc/documentation/chapters/preface.texi
+++ b/doc/documentation/chapters/preface.texi
@@ -15,7 +15,6 @@ all kinds of basic applications for the foundation of a new Internet.
 * Contributing to this book::
 * Introduction::
 * Project governance::
-* General Terminology::
 * Typography::
 @end menu
 
@@ -160,13 +159,6 @@ GNUnet e.V. may also choose to adjust the license of the
 software (with the constraint that it has to remain free software)@footnote{For example in 2018 we switched from GPL3 to AGPL3. In practice these changes do not happen very often.}
 
 
-@node General Terminology
-@section General Terminology
-
-In the following manual we may use words that can not be found in the
-Appendix. Since we want to keep the manual selfcontained, we will
-explain words here.
-
 @node Typography
 @section Typography
 

diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index d60f484db0d991aaee3e419efdb5a734c3732389..50630d4fe1326614de17b5f6de76d1960b7eb0e1 100644 (file)
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -103,7 +103,6 @@ Preface
 * About this book
 * Contributing to this book
 * Introduction
-* General Terminology::
 * Typography::
 
 Philosophy