Bug#862398: [pkg-gnupg-maint] Bug#862398: build wks client and server tools

2017-05-18 Thread Daniel Kahn Gillmor
Hi Stefan-- On Thu 2017-05-18 18:37:04 +0200, Stefan Bühler wrote: > There are a lot of manpages in debian/* - so it looks to me like > upstream isn't really interested in maintaining them. If upstream isn't > maintaining them, it might be easier to keep them in debian. these are specific to

Bug#862398: [pkg-gnupg-maint] Bug#862398: build wks client and server tools

2017-05-18 Thread Stefan Bühler
Hi dkg, On 05/15/2017 10:04 PM, Daniel Kahn Gillmor wrote: > Hi Stefan-- > > On Fri 2017-05-12 12:37:03 +0200, Stefan Bühler wrote: >> it would be nice to build and have packages for the gpg-wks-* tools. >> >> It seems there was already done some work in >> >>

Bug#862398: [pkg-gnupg-maint] Bug#862398: build wks client and server tools

2017-05-15 Thread Daniel Kahn Gillmor
Hi Stefan-- On Fri 2017-05-12 12:37:03 +0200, Stefan Bühler wrote: > it would be nice to build and have packages for the gpg-wks-* tools. > > It seems there was already done some work in > > https://anonscm.debian.org/git/pkg-gnupg/gnupg2.git/log/?h=dev/wks > > I rebased that commit to the