r17693: only install man pages if we have managed to generate them with