Package: man Version: 2.3.10-10 $ dpkg -L 9menu | grep man /usr/man /usr/man/man1 /usr/man/man1/9menu.1 $ man 9menu What manual page do you want from section 9menu? -- Raul