diff options
Diffstat (limited to 'doc/gpg-agent.texi')
| -rw-r--r-- | doc/gpg-agent.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gpg-agent.texi b/doc/gpg-agent.texi index b933b80ee..53a6f785e 100644 --- a/doc/gpg-agent.texi +++ b/doc/gpg-agent.texi @@ -745,7 +745,7 @@ a small helper script is provided to create these files (@pxref{addgnupghome}). @c @mansect signals @node Agent Signals -@section Use of some signals. +@section Use of some signals A running @command{gpg-agent} may be controlled by signals, i.e. using the @command{kill} command to send a signal to the process. |