diff options
author | Ben Kaduk <kaduk@mit.edu> | 2012-10-05 12:24:42 -0400 |
---|---|---|
committer | Ben Kaduk <kaduk@mit.edu> | 2012-10-11 11:00:18 -0400 |
commit | ca051fa64c2ad673d2de70cd10ceb83c6882deaf (patch) | |
tree | dcf2e4b9f09839a6985e8d82f5b7457cecca4c3a /doc | |
parent | d2f5272a5a241e215e19ce5564088ebd158cc3d1 (diff) | |
download | krb5-ca051fa64c2ad673d2de70cd10ceb83c6882deaf.tar.gz krb5-ca051fa64c2ad673d2de70cd10ceb83c6882deaf.tar.xz krb5-ca051fa64c2ad673d2de70cd10ceb83c6882deaf.zip |
Remove pronoun referent ambiguity
The policy must be unused, not the delete_policy command.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/rst_source/krb_admins/database.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/rst_source/krb_admins/database.rst b/doc/rst_source/krb_admins/database.rst index 65afebf7c3..b2a80b2fc4 100644 --- a/doc/rst_source/krb_admins/database.rst +++ b/doc/rst_source/krb_admins/database.rst @@ -216,8 +216,8 @@ To delete a policy, use the kadmin **delete_policy** command. :end-before: _delete_policy_end: .. note:: You must cancel the policy from *all* principals before - deleting it. The *delete_policy* command will fail if it is - in use by any principals. + deleting it. The *delete_policy* command will fail if the policy + is in use by any principals. Retrieving policies |