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

2011-09-03 Thread Christophe Jarry
On Sat, 03 Sep 2011 16:34:51 -0500 Peter O'Gorman 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? Thanks, Christophe

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

2011-09-03 Thread Peter O'Gorman
On 09/03/2011 02:10 PM, Christophe Jarry wrote: Dear developers, I have reported the following bug on (see http://lists.gnu.org/archive/html/bug-libtool/2011-07/msg2.html and http://lists.gnu.org/archive/html/bug-libtool/2011-08/msg1.html). On the documentation of libtool, the word "li

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

2011-09-03 Thread Christophe Jarry
Dear developers, I have reported the following bug on (see http://lists.gnu.org/archive/html/bug-libtool/2011-07/msg2.html and http://lists.gnu.org/archive/html/bug-libtool/2011-08/msg1.html). On the documentation of libtool, the word "linux" is sometimes used to refer to the entire free