[gnunet] branch master updated: -fix links

[gnunet]

This is an automated email from the git hooks/post-receive script.

grothoff pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 608f3502d -fix links
608f3502d is described below

commit 608f3502de2bc0745e9e8078e048cf9ac86928c8
Author: Christian Grothoff <christian@grothoff.org>
AuthorDate: Wed Aug 19 13:30:25 2020 +0200

    -fix links
---
 doc/handbook/chapters/developer.texi | 19 +++++++++----------
 1 file changed, 9 insertions(+), 10 deletions(-)

diff --git a/doc/handbook/chapters/developer.texi 
b/doc/handbook/chapters/developer.texi
index 0ff222f25..45f3f1afa 100644
--- a/doc/handbook/chapters/developer.texi
+++ b/doc/handbook/chapters/developer.texi
@@ -6935,8 +6935,8 @@ The size of an element's data is limited to around 62 KB.
 * Set Operations::
 * Result Elements::
 * libgnunetseti::
-* The SET Client-Service Protocol::
-* The SET Intersection Peer-to-Peer Protocol::
+* The SETI Client-Service Protocol::
+* The SETI Intersection Peer-to-Peer Protocol::
 @end menu
 
 @node Local Sets
@@ -7110,8 +7110,8 @@ Sets are modified with the @code{GNUNET_SERVICE_SETI_ADD} 
message.
 The service notifies the client of result elements and success/failure of
 a set operation with the @code{GNUNET_SERVICE_SETI_RESULT} message.
 
-@node The SET Intersection Peer-to-Peer Protocol
-@subsection The SET Intersection Peer-to-Peer Protocol
+@node The SETI Intersection Peer-to-Peer Protocol
+@subsection The SETI Intersection Peer-to-Peer Protocol
 
 The intersection protocol operates over CADET and starts with a
 GNUNET_MESSAGE_TYPE_SETI_P2P_OPERATION_REQUEST being sent by the peer
@@ -7198,10 +7198,9 @@ around 62 KB.
 * Set Modifications::
 * Set Operations::
 * Result Elements::
-* libgnunetset::
-* The SET Client-Service Protocol::
-* The SET Intersection Peer-to-Peer Protocol::
-* The SET Union Peer-to-Peer Protocol::
+* libgnunetsetu::
+* The SETU Client-Service Protocol::
+* The SETU Union Peer-to-Peer Protocol::
 @end menu
 
 @node Local Sets
@@ -7379,8 +7378,8 @@ The service notifies the client of result elements and 
success/failure of
 a set operation with the @code{GNUNET_SERVICE_SETU_RESULT} message.
 
 
-@node The SET Union Peer-to-Peer Protocol
-@subsection The SET Union Peer-to-Peer Protocol
+@node The SETU Union Peer-to-Peer Protocol
+@subsection The SETU Union Peer-to-Peer Protocol
 
 
 The SET union protocol is based on Eppstein's efficient set reconciliation

-- 
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.