The kernel man pages are installed by running the following commands: make mandocs && cp -a Documentation/man /usr/share/man/man9