diff options
author | ng0 <ng0@n0.is> | 2019-02-09 17:57:10 +0000 |
---|---|---|
committer | ng0 <ng0@n0.is> | 2019-02-09 17:57:10 +0000 |
commit | fb55c146d96e40df823199a31af8c91727ef436b (patch) | |
tree | 0b5524dd62eea2ab256ed24a3529c55e051fb275 /doc/handbook/gnunet.texi | |
parent | 7fa97abe8e43f4c198ff8f8032e45b147a814e94 (diff) | |
download | gnunet-fb55c146d96e40df823199a31af8c91727ef436b.tar.gz gnunet-fb55c146d96e40df823199a31af8c91727ef436b.zip |
doc/handbook: Fix incorrect texinfo menus and formating, also do not use '@' signs
Signed-off-by: ng0 <ng0@n0.is>
Diffstat (limited to 'doc/handbook/gnunet.texi')
-rw-r--r-- | doc/handbook/gnunet.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/handbook/gnunet.texi b/doc/handbook/gnunet.texi index d688009a4..c1934cd24 100644 --- a/doc/handbook/gnunet.texi +++ b/doc/handbook/gnunet.texi | |||
@@ -139,6 +139,7 @@ Using GNUnet | |||
139 | * First steps - Using the GNUnet VPN:: | 139 | * First steps - Using the GNUnet VPN:: |
140 | * File-sharing:: | 140 | * File-sharing:: |
141 | * The GNU Name System:: | 141 | * The GNU Name System:: |
142 | * re@@claim Identity Provider:: | ||
142 | * Using the Virtual Public Network:: | 143 | * Using the Virtual Public Network:: |
143 | 144 | ||
144 | GNUnet Contributors Handbook | 145 | GNUnet Contributors Handbook |