On 22/10/18 7:46 am, Dave Reisner wrote: > 3) No 'make dist' equivalent. Just run 'git archive' to generate a > suitable tarball for distribution. Is there a way to include pregenerated man pages with git archive? A