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

2011-09-26 Thread Christophe Jarry
I just committed a slightly modified patch in your name. Thank you very much Peter. Christophe

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

2011-09-05 Thread Christophe Jarry
Please learn to use git for sending patches; thanks! The new patch is attached. Please tell me if there are still issues with it. Christophe From 965eb1b22d3350ee24765b0c115a91512a382f3d Mon Sep 17 00:00:00 2001 From: Christophe Jarry christophe.ja...@ouvaton.org Date: Mon, 5 Sep 2011 20:49:19

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

2011-09-04 Thread Christophe Jarry
On Sat, 03 Sep 2011 16:34:51 -0500 Peter O'Gorman pe...@pogma.com 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

libtool.texi: copyright notice patch

2011-09-04 Thread Christophe Jarry
Dear developers, I found that the copyright notice of the file doc/libtool.texi does not follow Information for Maintainers of GNU Software at http://www.gnu.org/prep/maintain/html_node/Copyright-Notices.html#Copyright-Notices. This documents states: Don’t delete old year numbers, though;

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

2011-09-04 Thread Christophe Jarry
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, I understand that the value linux of the variable version_type is acceptable according to the GNU coding standards. I think the documentation would

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

2011-09-04 Thread Christophe Jarry
Hello Ralf, On Sun, 04 Sep 2011 15:22:55 +0200 Ralf Wildenhues ralf.wildenh...@gmx.de wrote: --- libtool.orig/libltdl/config/ltmain.m4sh 2011-08-31 21:50:53.0 +0200 +++ libtool.new/libltdl/config/ltmain.m4sh 2011-09-04 12:27:53.0 +0200 Please learn to use git for sending

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 bug-libt...@gnu.org (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

Libtool and GPLv3

2011-09-03 Thread Christophe Jarry
Dear developers, Is there a plan to release GNU Libtool under GPLv3 or later? Ralf seemed to say so in his post from 2008 at https://lists.gnu.org/archive/html/libtool/2008-02/msg00069.html: Well, yes, eventually we will switch the various differently-licensed parts of Libtool to