| <sect2><title>Installation of the kernel man pages</title><para>The kernel man pages are installed by running the followingcommands:</para><para><screen><userinput>make mandocs &&cp -a Documentation/man /usr/share/man/man9</userinput></screen></para></sect2>
 |