package for kernel man pages (section 9)

[Tom H]

On Sun, Dec 1, 2013 at 10:45 PM, sktsee <sktseer at gmail.com> wrote:
> On Sun, 01 Dec 2013 23:05:13 +0200, David Shwatrz wrote:
>>
>> Ubuntu 13.04 with kernel 3.8.0-19-generic DS
>
> Easiest way would be to download Debian's linux-manual package from here
>
> ftp.us.debian.org/debian/pool/main/l/linux/linux-manual-3.9_3.9.6-1~bpo70
> +1_all.deb
>
> and then install it with 'sudo dpkg -i linux-manual-3.9_3.9.6-1~bpo70
> +1_all.deb'

Much better than my solutions.

I somehow assumed that since man9 wasn't packaged in Ubuntu, it
wouldn't be packaged in Debian. Silly!

But I wouldn't "dpkg -i" a Debian deb on a production system because
it'll install the manpages under "/usr/share/man" and I prefer to
install packages that don't originate from my sources in "/etc/apt"
under "/usr/local" (or "/opt").

So I'd unpack the deb, move man9 to "/usr/local/man" or
"/usr/local/share/man", and run mandb.