aboutsummaryrefslogtreecommitdiffstats
path: root/doc/wks.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/wks.texi')
-rw-r--r--doc/wks.texi2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/wks.texi b/doc/wks.texi
index a8d0455e5..2870e52d8 100644
--- a/doc/wks.texi
+++ b/doc/wks.texi
@@ -136,6 +136,8 @@ The command @option{--print-wkd-url} prints the URLs used to fetch the
key for the given user-ids from WKD. The meanwhile preferred format
with sub-domains is used here.
+All commands may also be given without the two leading dashes.
+
@mansect options
@noindent
@command{gpg-wks-client} understands these options: