diff options
| author | Nils Gillmann <ng0@n0.is> | 2018-07-08 19:17:02 +0000 |
|---|---|---|
| committer | Nils Gillmann <ng0@n0.is> | 2018-07-08 19:17:02 +0000 |
| commit | cacaac22f864f31e41b3600d9eb4babbe7af9fd9 (patch) | |
| tree | b7a79191f77bea3188e72f2f9aa60ab800200d74 /doc/documentation | |
| parent | 3208b4d3ea802ad56a50dcc63fe70e428a5eca5d (diff) | |
Documentation: Drop the empty '1.5 General Terminology' section for now
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/documentation')
| -rw-r--r-- | doc/documentation/chapters/preface.texi | 8 | ||||
| -rw-r--r-- | doc/documentation/gnunet.texi | 1 |
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 |