diff options
| author | Werner Koch <[email protected]> | 2017-07-26 15:51:03 +0000 |
|---|---|---|
| committer | Werner Koch <[email protected]> | 2017-07-26 15:53:00 +0000 |
| commit | be636c3cfca178927b09ef4154c3e555d6f5b1c4 (patch) | |
| tree | 7efb8ec38b04698570718bda2b768c9e8306431d /doc/gnupg.texi | |
| parent | wks: Fix program names in the usage diagnostics. (diff) | |
| download | gnupg-be636c3cfca178927b09ef4154c3e555d6f5b1c4.tar.gz gnupg-be636c3cfca178927b09ef4154c3e555d6f5b1c4.zip | |
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 <[email protected]>
Diffstat (limited to 'doc/gnupg.texi')
| -rw-r--r-- | doc/gnupg.texi | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/gnupg.texi b/doc/gnupg.texi index c99c129f0..7154fc841 100644 --- a/doc/gnupg.texi +++ b/doc/gnupg.texi @@ -45,7 +45,7 @@ Published by The GnuPG Project@* @copyright{} 2002, 2004, 2005, 2006, 2007, 2010 Free Software Foundation, Inc.@* @copyright{} 2013, 2014, 2015 Werner Koch.@* -@copyright{} 2015 g10 Code GmbH. +@copyright{} 2015, 2016, 2017 g10 Code GmbH. @quotation Permission is granted to copy, distribute and/or modify this document @@ -142,6 +142,7 @@ the administration and the architecture. * Specify a User ID:: How to Specify a User Id. * Helper Tools:: Description of small helper tools +* Web Key Service:: Tools for the Web Key Service * Howtos:: How to do certain things. * System Notes:: Notes pertaining to certain OSes. @@ -180,6 +181,7 @@ the administration and the architecture. @include tools.texi +@include wks.texi @include howtos.texi |