diff options
2 files changed, 0 insertions, 9 deletions
diff --git a/doc/documentation/chapters/preface.texi b/doc/documentation/chapters/preface.texi
index 12abc2b7b..29cf924a2 100644
--- 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 d60f484db..50630d4fe 100644
--- 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::