[GNUnet-SVN] [gnunet] branch master updated: doc/handbook: Fix incorrect texinfo menus and formating, also do not use '@' signs

[gnunet]

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

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new fb55c146d doc/handbook: Fix incorrect texinfo menus and formating, 
also do not use '@' signs
fb55c146d is described below

commit fb55c146d96e40df823199a31af8c91727ef436b
Author: ng0 <address@hidden>
AuthorDate: Sat Feb 9 17:57:10 2019 +0000

    doc/handbook: Fix incorrect texinfo menus and formating, also do not use 
'@' signs
    
    Signed-off-by: ng0 <address@hidden>
---
 doc/handbook/chapters/user.texi | 6 +++---
 doc/handbook/gnunet.texi        | 1 +
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/doc/handbook/chapters/user.texi b/doc/handbook/chapters/user.texi
index ad40b0f43..12d9fc797 100644
--- a/doc/handbook/chapters/user.texi
+++ b/doc/handbook/chapters/user.texi
@@ -26,7 +26,7 @@ always welcome.
 * First steps - Using the GNUnet VPN::
 * File-sharing::
 * The GNU Name System::
-* re@:claim Identity Provider::
+* re@@claim Identity Provider::
 * Using the Virtual Public Network::
 @end menu
 
@@ -1978,8 +1978,8 @@ seamlessly.
 At this point you might want to write for example a systemd unit file to start
 and enable the service, so that your zone is migrated automatically.
 
address@hidden re@:claim Identity Provider
address@hidden re@:claim Identity Provider
address@hidden re@@claim Identity Provider
address@hidden re@@claim Identity Provider
 
 The re:claim Identity Provider (IdP) is a decentralized IdP service.
 It allows its users to manage and authorize third parties to access their 
identity attributes such as email or shipping addresses.
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
 * First steps - Using the GNUnet VPN::
 * File-sharing::
 * The GNU Name System::
+* re@@claim Identity Provider::
 * Using the Virtual Public Network::
 
 GNUnet Contributors Handbook

-- 
To stop receiving notification emails like this one, please contact
address@hidden