diff options
| author | Daniel Kahn Gillmor <[email protected]> | 2019-06-09 21:33:09 +0000 |
|---|---|---|
| committer | Daniel Kahn Gillmor <[email protected]> | 2019-06-11 07:17:06 +0000 |
| commit | 6562de7475b21cd03c7b1a83a591fa563c589f5b (patch) | |
| tree | 00bb00bb0a347ecbeaace15fdc01bde3f69ef108 | |
| parent | gpgparsemail: Die on parse error, printing errno thing. (diff) | |
| download | gnupg-6562de7475b21cd03c7b1a83a591fa563c589f5b.tar.gz gnupg-6562de7475b21cd03c7b1a83a591fa563c589f5b.zip | |
doc/gpgsm: explain what "policy-file" refers to.
A new user who sees "policy-file" and searches naively through the
documentation to find it again won't be able to tell what this refers
to, since "policies.txt" doesn't otherwise match the search string
"policy". This gives them a fighting chance at finding the
documentation.
Signed-off-by: Daniel Kahn Gillmor <[email protected]>
| -rw-r--r-- | doc/gpgsm.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/gpgsm.texi b/doc/gpgsm.texi index 1736ff111..a8eb93c4a 100644 --- a/doc/gpgsm.texi +++ b/doc/gpgsm.texi @@ -349,7 +349,8 @@ verbose commands to @command{gpgsm}, such as @samp{-vv}. @item --policy-file @var{filename} @opindex policy-file -Change the default name of the policy file to @var{filename}. +Change the default name of the policy file to @var{filename}. The +default name is @{policies.txt}. @item --agent-program @var{file} @opindex agent-program |