On Tue, 2002-08-13 at 09:15, Shaun Merrigan wrote: > Where are these man pages located? Generally you can access the source via: apt-get source <foo> Where <foo> is the Debian GNOME package you want the source of. It's not always obvious how GNOME components map to source packages; use dpkg -S <filename> to figure out which package a file is in, then apt-cache showsrc <package> to get the source package.