Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
	id <S286959AbSBGJdg>; Thu, 7 Feb 2002 04:33:36 -0500
Received: (majordomo@vger.kernel.org) by vger.kernel.org
	id <S286942AbSBGJd2>; Thu, 7 Feb 2002 04:33:28 -0500
Received: from Morgoth.esiway.net ([193.194.16.157]:47377 "EHLO
	Morgoth.esiway.net") by vger.kernel.org with ESMTP
	id <S286934AbSBGJdQ>; Thu, 7 Feb 2002 04:33:16 -0500
Date: Thu, 7 Feb 2002 10:32:53 +0100 (CET)
From: Marco Colombo <marco@esi.it>
To: Mike Touloumtzis <miket@bluemug.com>
cc: linux-kernel@vger.kernel.org
Subject: Re: How to check the kernel compile options ?
In-Reply-To: <20020207041356.GA21694@bluemug.com>
Message-ID: <Pine.LNX.4.44.0202071029380.1381-100000@Megathlon.ESI>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: linux-kernel-owner@vger.kernel.org
X-Mailing-List: linux-kernel@vger.kernel.org

On Wed, 6 Feb 2002, Mike Touloumtzis wrote:

[...]

> The kernel is just a program, and this is a tools problem.  You don't
> see people arguing that cat's documentation should be moved into /bin/cat
> in case administrators misplace "cat.1.gz".

FSF. Compare cat --help on Linux and on Solaris... B-)

.TM.
-- 
      ____/  ____/   /
     /      /       /			Marco Colombo
    ___/  ___  /   /		      Technical Manager
   /          /   /			 ESI s.r.l.
 _____/ _____/  _/		       Colombo@ESI.it

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/