aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-05-14 07:16:07 +0000
committerNils Gillmann <ng0@n0.is>2018-05-14 07:16:07 +0000
commit4445cbf97fdb3418aaecc06a73cfa8a5a5bc9817 (patch)
tree10b926d56b77cb943eff4d7c87d25c249cfa9b6f /doc
parent59f3739232308fa9e892d7ebc18134930a0bc7f3 (diff)
downloadgnunet-4445cbf97fdb3418aaecc06a73cfa8a5a5bc9817.tar.gz
gnunet-4445cbf97fdb3418aaecc06a73cfa8a5a5bc9817.zip
fix
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc')
-rw-r--r--doc/documentation/gnunet.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/documentation/gnunet.texi b/doc/documentation/gnunet.texi
index e914f11ba..22ee8206a 100644
--- a/doc/documentation/gnunet.texi
+++ b/doc/documentation/gnunet.texi
@@ -72,7 +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* Preface:: Chapter 0
76* Philosophy:: About GNUnet 76* Philosophy:: About GNUnet
77@c * Vocabulary:: Vocabulary 77@c * Vocabulary:: Vocabulary
78* GNUnet Installation Handbook:: How to install GNUnet 78* GNUnet Installation Handbook:: How to install GNUnet