Re: Bug 9210: fix to replace Linux with GNU/Linux where needed

[Peter O'Gorman]

On 09/03/2011 02:10 PM, Christophe Jarry wrote:
> Dear developers,
>
> I have reported the following bug on<address@hidden>  (see
> http://lists.gnu.org/archive/html/bug-libtool/2011-07/msg00002.html and
> http://lists.gnu.org/archive/html/bug-libtool/2011-08/msg00001.html).
>
> On the documentation of libtool, the word "linux" is sometimes used to refer to
> the entire free software system that uses the kernel Linux. According to the GNU
> project's "Information for Maintainers of GNU Software", maintainers of GNU
> programs have to name the entire system
> "GNU/Linux" (http://www.gnu.org/prep/maintain/maintain.html#Preface and
> http://www.gnu.org/prep/maintain/maintain.html#GNU-and-Linux).
>
> So here is a patch to fix this bug in various parts of GNU libtool:

> - core files libltdl/config/ltmain.m4sh and libltdl/m4/libtool.m4.

Please do not change the version type for libtool library versioning 
from linux to gnu-linux. I don't really mind the documentation changes, 
but I object to this change.

Peter