mirror of
git://git.gnupg.org/gnupg.git
synced 2025-07-14 21:47:19 +02:00
doc: Do not end section names with "."
This commit is contained in:
parent
05e488943c
commit
8078d8246f
9 changed files with 34 additions and 35 deletions
|
@ -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.
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue