kde@gentoo.org Gentoo KDE Project Build and install man pages