The license of gnu-make and posix-shell is now "GPLed build tool".

* modules/gnu-make (License): Likewise.
* modules/posix-shell (License): Likewise.

diff --git a/ChangeLog b/ChangeLog
index 6d9f663f45806e082509c0e6effc16ef39e8674e..ecea8e207cc421bf6b914b22d44f23e3f442cd44 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,9 +1,14 @@
 2007-11-15  Paul Eggert  <eggert@cs.ucla.edu>
 
+       The license of gnu-make and posix-shell is now "GPLed build tool".
+       * modules/gnu-make (License): Likewise.
+       * modules/posix-shell (License): Likewise.
+
        New module posix-shell, for determining a POSIX shell
        or perhaps something that is close enough to a POSIX shell.
        * m4/posix-shell.m4: New file.
        * modules/posix-shell: New file.
+
        * MODULES.html.sh: Mention new module.
 
        New module gnu-make, for determining whether we're using GNU Make.

diff --git a/modules/gnu-make b/modules/gnu-make
index bfbbb1f6455d7d3210a8fa677398e3bd5b535fff..6d1c63a24b227084749c7b076184e17424696be6 100644 (file)
--- a/modules/gnu-make
+++ b/modules/gnu-make
@@ -22,7 +22,7 @@ Makefile.am:
 Include:
 
 License:
-GPL
+GPLed build tool
 
 Maintainer:
 Paul Eggert

diff --git a/modules/posix-shell b/modules/posix-shell
index aafd5b7b9e4630012ce077b51828eb74d2df7bff..8f7b864e88afe6c791deee5172b00bfd9542b918 100644 (file)
--- a/modules/posix-shell
+++ b/modules/posix-shell
@@ -24,7 +24,7 @@ Makefile.am:
 Include:
 
 License:
-GPL
+GPLed build tool
 
 Maintainer:
 Paul Eggert