Better docs for users/groups

diff --git a/basis/unix/groups/groups-docs.factor b/basis/unix/groups/groups-docs.factor
index 31d1fe8ac4337412791f56bc4951621484111866..c430525e403639fc79d89836ceb87e341df6fb87 100644 (file)
--- a/basis/unix/groups/groups-docs.factor
+++ b/basis/unix/groups/groups-docs.factor
@@ -108,13 +108,13 @@ $nl
 { $subsections all-group-names }
 "Checking if a group exists:"
 { $subsections group-exists? }
-"Real groups:"
+"Querying/setting the current real group:"
 { $subsections
     real-group-name
     real-group-id
     set-real-group
 }
-"Effective groups:"
+"Querying/setting the current effective group:"
 { $subsections
     effective-group-name
     effective-group-id

diff --git a/basis/unix/users/users-docs.factor b/basis/unix/users/users-docs.factor
index bca41dd5fc7b1a4411925d2a08da0578846342b6..a0b2b264f7d9a7d9bc016c833873411e5845661f 100644 (file)
--- a/basis/unix/users/users-docs.factor
+++ b/basis/unix/users/users-docs.factor
@@ -116,13 +116,13 @@ $nl
 { $subsections all-user-names }
 "Checking if a user exists:"
 { $subsections user-exists? }
-"Real user:"
+"Querying/setting the current real user:"
 { $subsections
     real-user-name
     real-user-id
     set-real-user
 }
-"Effective user:"
+"Querying/setting the current effective user:"
 { $subsections
     effective-user-name
     effective-user-id