On Fri, 12 Dec 2003 10:55:32 +0000 Colin Watson <cjwatson@debian.org> wrote: > The proper name for the distribution we release is not "Debian Linux", > but "Debian GNU/Linux". This is all over our web site so it's not as if > people can easily be confused. Indeed. But I wasn't intending to use the formal name, only a phrase that might commonly be used in the contexts to which I was referring. - Richard. -- Richard Kimber http://www.psr.keele.ac.uk/