diff options
author | Ineiev <[email protected]> | 2016-03-04 15:20:47 +0000 |
---|---|---|
committer | NIIBE Yutaka <[email protected]> | 2016-09-20 02:23:24 +0000 |
commit | 32bcf8b73ede9c8f1469821a54dedc6be75241d2 (patch) | |
tree | 6bf45d2b2f5083f53adf5903c6ec5fd7efd4058c /doc/gpg-agent.texi | |
parent | doc: Improve markup. (diff) | |
download | gnupg-32bcf8b73ede9c8f1469821a54dedc6be75241d2.tar.gz gnupg-32bcf8b73ede9c8f1469821a54dedc6be75241d2.zip |
doc: Fix spacings.
* doc/debugging.texi, doc/dirmngr.texi, doc/gpg-agent.texi,
doc/gpg.texi, doc/tools.texi: Fix.
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 |