doc: Add man pages form gpg-wks-server and gpg-wks-client.
authorWerner Koch <wk@gnupg.org>
Wed, 26 Jul 2017 15:51:03 +0000 (17:51 +0200)
committerWerner Koch <wk@gnupg.org>
Wed, 26 Jul 2017 15:53:00 +0000 (17:53 +0200)
commitbe636c3cfca178927b09ef4154c3e555d6f5b1c4
tree7efb8ec38b04698570718bda2b768c9e8306431d
parentc76398da5b15df2086f68bc26b7fde75219976c7
doc: Add man pages form gpg-wks-server and gpg-wks-client.

* doc/wks.texi: New.
* doc/gnupg.texi: Include wks.texi.
* doc/Makefile.am (gnupg_TEXINFOS): Add wks.texi.
(myman_pages): Add new man pages.

Signed-off-by: Werner Koch <wk@gnupg.org>
doc/Makefile.am
doc/gnupg.texi
doc/wks.texi [new file with mode: 0644]