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/chapters | |
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/chapters')
-rw-r--r-- | doc/handbook/chapters/user.texi | 6 |
1 files changed, 3 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. | |||
26 | * First steps - Using the GNUnet VPN:: | 26 | * First steps - Using the GNUnet VPN:: |
27 | * File-sharing:: | 27 | * File-sharing:: |
28 | * The GNU Name System:: | 28 | * The GNU Name System:: |
29 | * re@:claim Identity Provider:: | 29 | * re@@claim Identity Provider:: |
30 | * Using the Virtual Public Network:: | 30 | * Using the Virtual Public Network:: |
31 | @end menu | 31 | @end menu |
32 | 32 | ||
@@ -1978,8 +1978,8 @@ seamlessly. | |||
1978 | At this point you might want to write for example a systemd unit file to start | 1978 | At this point you might want to write for example a systemd unit file to start |
1979 | and enable the service, so that your zone is migrated automatically. | 1979 | and enable the service, so that your zone is migrated automatically. |
1980 | 1980 | ||
1981 | @node re@:claim Identity Provider | 1981 | @node re@@claim Identity Provider |
1982 | @section re@:claim Identity Provider | 1982 | @section re@@claim Identity Provider |
1983 | 1983 | ||
1984 | The re:claim Identity Provider (IdP) is a decentralized IdP service. | 1984 | The re:claim Identity Provider (IdP) is a decentralized IdP service. |
1985 | It allows its users to manage and authorize third parties to access their identity attributes such as email or shipping addresses. | 1985 | It allows its users to manage and authorize third parties to access their identity attributes such as email or shipping addresses. |