include otherwise-ignored stuff from git repo in "make dist"
do not include generated man pages in distribution (because conditional!)