summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-07-08 19:17:02 +0000
committerNils Gillmann <ng0@n0.is>2018-07-08 19:17:02 +0000
commitcacaac22f864f31e41b3600d9eb4babbe7af9fd9 (patch)
treeb7a79191f77bea3188e72f2f9aa60ab800200d74 /doc
parent3208b4d3ea802ad56a50dcc63fe70e428a5eca5d (diff)
Documentation: Drop the empty '1.5 General Terminology' section for now
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc')
-rw-r--r--doc/documentation/chapters/preface.texi8
-rw-r--r--doc/documentation/gnunet.texi1
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::
Philosophy