On Sun, Mar 17, 2002 at 11:24:36AM -0800, Thomas Bushnell, BSG wrote:
> Jeroen Dekkers <[EMAIL PROTECTED]> writes:
> > 6.1 Should be named "GNU/Linux" instead of "Linux"
> 
> In general, actually, it's Linux here, because it really is the kernel
> that is being spoken of, and not really the whole system.  But I have
> no strong opinion on the matter.

They call it "Operating System Specific Annex" which makes it
GNU/Linux because that's the name of the operating system.
 
Jeroen Dekkers
-- 
Jabber supporter - http://www.jabber.org Jabber ID: [EMAIL PROTECTED]
Debian GNU supporter - http://www.debian.org http://www.gnu.org
IRC: jeroen@openprojects

Attachment: msg01823/pgp00000.pgp
Description: PGP signature

Reply via email to