package for kernel man pages (section 9)

sktsee sktseer at
Tue Dec 3 04:32:52 UTC 2013

On 12/02/2013 06:19 AM, Tom H wrote:
> On Sun, Dec 1, 2013 at 10:45 PM, sktsee <sktseer at> 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
>> +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.

Nah, just luckier :)

> 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.

Eh, I've not had any problems installing packages locally as long as the 
package adheres to Debian/Ubuntu policy and dependencies are satisfied. 
Of course, exercising some due diligence before installing any package 
not from your distro's repos is A Good Idea.


More information about the ubuntu-users mailing list