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 | |
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')
-rw-r--r-- | doc/handbook/chapters/user.texi | 6 | ||||
-rw-r--r-- | 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. | |||
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. |
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 | |||
139 | * First steps - Using the GNUnet VPN:: | 139 | * First steps - Using the GNUnet VPN:: |
140 | * File-sharing:: | 140 | * File-sharing:: |
141 | * The GNU Name System:: | 141 | * The GNU Name System:: |
142 | * re@@claim Identity Provider:: | ||
142 | * Using the Virtual Public Network:: | 143 | * Using the Virtual Public Network:: |
143 | 144 | ||
144 | GNUnet Contributors Handbook | 145 | GNUnet Contributors Handbook |