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

[Peter O'Gorman]

On Sep 4, 2011, at 1:05 AM, Christophe Jarry wrote:

> On Sat, 03 Sep 2011 16:34:51 -0500
> Peter O'Gorman <address@hidden> wrote:
> 
>> Please do not change the version type for libtool library versioning 
>> from linux to gnu-linux. [...] I object to this change.
> 
> Could you please explain to me why you object to this change?

I am willing to change the documentation and even the comments, I am not 
willing to change variable names or their values. Version type = linux has been 
used in libtool for a long time, changing it is pointless, not in any way 
called for by the GNU coding standards,  and will likely lead to bugs.

Peter