[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Bug 9210: fix to replace Linux with GNU/Linux where needed
From: |
Christophe Jarry |
Subject: |
Bug 9210: fix to replace Linux with GNU/Linux where needed |
Date: |
Sat, 3 Sep 2011 21:10:22 +0200 |
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:
- documentation,
- files HACKING, libltdl/README and TODO,
- core files libltdl/config/ltmain.m4sh and libltdl/m4/libtool.m4.
I have not changed the files that won't be modified in the future as those
files are used for an historical purpose. This includes files Changelog* and
files under the "mail" directory. If it is a problem, please tell me.
I may have replaced "Linux" by "GNU/Linux" even if "Linux" was used to refer to
the "kernel Linux". If that is the case somewhere in the patch, please tell me
and explain me. I will modify my patch accordingly.
Thanks,
Christophe
fix-bug-9210.patch
Description: Text Data
- Bug 9210: fix to replace Linux with GNU/Linux where needed,
Christophe Jarry <=
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/03
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Ralf Wildenhues, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/04
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/05
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Bob Friesenhahn, 2011/09/05
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Christophe Jarry, 2011/09/11
- Re: Bug 9210: fix to replace Linux with GNU/Linux where needed, Peter O'Gorman, 2011/09/25