doc: Minor texi updates.
authorWerner Koch <wk@gnupg.org>
Tue, 3 Jun 2014 06:58:20 +0000 (08:58 +0200)
committerWerner Koch <wk@gnupg.org>
Tue, 3 Jun 2014 06:58:20 +0000 (08:58 +0200)
commit50cd3d40aec3b94cfddec94361ed1aafc999d61b
treec2e4132ebdf52a2be1538af94acb19420f6b35f0
parent958e5f292fa3f8e127f54bc088c56780c564dcae
doc: Minor texi updates.

--
doc/gpg.texi
doc/tools.texi