doc: Fix a man page rendering problem.
authorWerner Koch <wk@gnupg.org>
Fri, 10 Oct 2014 11:51:19 +0000 (13:51 +0200)
committerWerner Koch <wk@gnupg.org>
Fri, 10 Oct 2014 11:51:19 +0000 (13:51 +0200)
commit5b5e5a6027ae1743719e112aa4e9055f1b8133a7
treec77ee7807657a499a860530d6d8f47636e83468d
parent6cabb7a2a18f871b8c3d5de58bcdc5aaa5b201af
doc: Fix a man page rendering problem.

* doc/gpg-agent.texi (Agent Configuration): Fix rendering of the
sshcontrol example.
doc/gpg-agent.texi