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 c24d93511..0e7a78857 100644 --- a/doc/gpg-agent.texi +++ b/doc/gpg-agent.texi @@ -108,7 +108,7 @@ one (e.g. @file{@value{BINDIR}/pinentry}). @manpause @noindent -@xref{Option Index},for an index to @command{GPG-AGENT}'s commands and options. +@xref{Option Index}, for an index to @command{GPG-AGENT}'s commands and options. @mancont @menu |