Hei hei,

On Thu, Aug 31, 2017 at 04:14:24PM +0100, Ian Abbott wrote:
> I don't think anyone has mentioned this yet on the mailing list, but I'm
> sure a few people other than myself will have noticed that the ptxdist man
> page distributed with ptxdist-2017.07.0 is just a gzip-compressed, empty
> file, so the ptxdist "help" command doesn't work.

I can confirm this.

> It's not a big deal, and might have been a one-off glitch in this release,
> but I thought I'd better mention it in case it happens in the next release.

Yeah, especially because I started to install ptxdist from tarballs
again, because help didn't work when installing from git tags.

Greets
Alex

-- 
»With the first link, the chain is forged. The first speech censured, 
the first thought forbidden, the first freedom denied, chains us all 
irrevocably.« (Jean-Luc Picard, quoting Judge Aaron Satie)
*** GnuPG-FP: C28E E6B9 0263 95CF 8FAF  08FA 34AD CD00 7221 5CC6 ***