diff options
| author | Nils Gillmann <ng0@n0.is> | 2018-05-02 15:25:44 +0000 |
|---|---|---|
| committer | Nils Gillmann <ng0@n0.is> | 2018-05-02 15:25:44 +0000 |
| commit | b91002ea10d9770da6b2d97edf28e896c01e0edf (patch) | |
| tree | 58e36f65f5c953f95b8735717fc0b84cca82f707 /doc | |
| parent | 4834bb94f365ff30b457a097a7490e72003a2c7b (diff) | |
| download | gnunet-b91002ea10d9770da6b2d97edf28e896c01e0edf.tar.gz gnunet-b91002ea10d9770da6b2d97edf28e896c01e0edf.zip | |
++
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc')
| -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:: |