21 Oct
2018
21 Oct
'18
9:54 p.m.
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