summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-06-22 00:44:33 +0200
committerChristian Grothoff <christian@grothoff.org>2019-06-22 00:45:07 +0200
commit8137c9abcf3e3f3a457330fbfdb4d5f09572ddb1 (patch)
treea8ca8acbfd11c1f1d80cb1300245e19374573dc4
parentbda8f61b0f2f54a3aa675a966ef0954b8fff0d6e (diff)
sectioning fix
-rw-r--r--doc/handbook/chapters/user.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/handbook/chapters/user.texi b/doc/handbook/chapters/user.texi
index 7fb63b9a7..c69f19922 100644
--- a/doc/handbook/chapters/user.texi
+++ b/doc/handbook/chapters/user.texi
@@ -926,7 +926,7 @@ concepts that are used to achieve these goals.
* Files::
* Keywords::
* Directories::
-* Pseudonyms::
+* Egos::
* Namespaces::
* Advertisements::
* Anonymity level::