From fb55c146d96e40df823199a31af8c91727ef436b Mon Sep 17 00:00:00 2001 From: ng0 Date: Sat, 9 Feb 2019 17:57:10 +0000 Subject: [PATCH] doc/handbook: Fix incorrect texinfo menus and formating, also do not use '@' signs Signed-off-by: ng0 --- 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. -@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 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 -- 2.25.1