Re: Documentation: Linux kernel and GNU/Linux system

[Aharon Robbins]

Hi.  I'm aware of the distinction the GNU Project likes to make
about "Linux" vs. "GNU/Linux".  I will make sure this is fixed.

Thanks,

Arnold

> Date: Thu, 9 Dec 2010 14:16:24 +0100
> From: Christophe Jarry <address@hidden>
> To: address@hidden
> Subject: Documentation: Linux kernel and GNU/Linux system
>
> Dear developers,
>
> I am reading the documentation for gawk
> (http://www.gnu.org/software/gawk/manual/gawk.html) and have found that
> sometimes you use the term "Linux" instead of "GNU/Linux" to refer to
> the system.
>
> Here are the culprits:
>
> *??in "Foreword" section:
>   "gawk ships with Linux, and you can download binaries or source code
>   for almost any system; my wife uses gawk on her VMS box."
>
> *??in "The GNU Project and This Book":
>   "Many GNU/Linux distributions are often available in computer stores
>   or bundled on CD-ROMs with books about Linux."
>
> *??in "Glossary":
>   "Linux is a stable, efficient, full-featured clone of Unix that has
>   been ported to a variety of architectures."
>
> *??in "Index", "Linux:" references should be deleted ("GNU/Linux:"
> references are already there and refer to the same sections), as there
> is no reference to the Linux kernel in the related sections.
>
> Please make the changes.
>
> Thanks.
>
> Christophe