FIXME: These man pages are used for distro packaging using "make distro-pack-install"