Man files added (for GitHub builds)