jsmolic@gentoo.org Jakov Smolić Build and install the HTML documentation and regenerate the man pages