[RFC] GDB ARIndex Linux rule cleanup

[Eli Zaretskii]

> Date: Tue, 14 Apr 2009 16:41:26 -0700
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: gdb-patches@sourceware.org, Mark Kettenis <mark.kettenis@xs4all.nl>, 	muller@ics.u-strasbg.fr, gdb@sourceware.org, eliz@gnu.org
> 
> > I agree.  There's no scope for confusion over what "Linux" is
> > refering to here.
> 
> I would tend to agree too. But I'm wondering if this is not
> a requirement from RMS for all GNU projects...

The requirement is _not_ to have the word "kernel" literally where one
talks about the Linux kernel.  The requirement is to use "GNU/Linux"
where one talks about something that is _not_ the kernel.

So, in the cases where Pierre suggested to add the word "kernel", that
is not needed.  It is enough to establish that the text is about the
Linux kernel, and not about GNU/Linux as a system.

How to express that in Awk-ish, is another matter.  Judging just by
the cases in Pierre's patch, it sounds like having on the same text
line words like "kernel", "register", "target", and a numeric version
string X.Y are telltale signs that the kernel is being discussed.
Perhaps we can start with these words, and add more as needed in the
future.