On Mon, Dec 31, 2012 at 10:38:54AM -0500, Kris Deugau wrote: > Dmitrijs Ledkovs wrote: > > $ man debian-distro-info > > Serious question - is this a real manpage? If so, which package is it in? That was my initial reaction. Then I found it on my system... ??? This was because ubuntu-dev-tools depends on distro-info :-) Osamu