Re: Bug in "Linux" reference in gawk manual

[Aharon Robbins]

Greetings. Re this:

> To: address@hidden
> Subject: Bug in "Linux" reference in gawk manual
> From: address@hidden (J.B. Nicholson-Owens)
>
> Hi,
>
> I was reading
> http://www.gnu.org/manual/gawk-3.0.3/html_mono/gawk.html and I noticed some
> references to "Linux" as the operating system.  After hearing some lectures
> from RMS on this topic, I'm fairly certain these documentation references
> are in error and should be "GNU/Linux" instead.
>
> The erroneous references I noticed occured early in the document in
> <URL:http://www.gnu.org/manual/gawk-3.0.3/html_mono/gawk.html#SEC3>.

This has been fixed in the manual for gawk 3.1.0, which is the current
version.  I don't know when the FSF will update the online doc, though.

Thanks,

Arnold