doc/handbook: Fix incorrect texinfo menus and formating, also do not use '@' signs

Signed-off-by: ng0 <ng0@n0.is>

diff --git a/doc/handbook/chapters/user.texi b/doc/handbook/chapters/user.texi
index ad40b0f43a94cab95dbbb4b5aca3bed2a016c333..12d9fc7976d3a7019338243f6a619a398aada81c 100644 (file)
--- 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.
 
-@node re@:claim Identity Provider
-@section re@:claim Identity Provider
+@node re@@claim Identity Provider
+@section 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 d688009a486716601f3fde861d4bbc833e83c71b..c1934cd24f4428d936c00978f5739a57aa94884d 100644 (file)
--- 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