# HG changeset patch
# User Paul Eggert <eggert@cs.ucla.edu>
# Date 1195189092 28800
# Node ID 5c14f373b379929653038698186d62da5223edd5
# Parent  c96110318f14e49e7200c7cbf69feb9ba8949ec9
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
--- 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
--- a/modules/gnu-make
+++ b/modules/gnu-make
@@ -22,7 +22,7 @@
 Include:
 
 License:
-GPL
+GPLed build tool
 
 Maintainer:
 Paul Eggert
diff --git a/modules/posix-shell b/modules/posix-shell
--- a/modules/posix-shell
+++ b/modules/posix-shell
@@ -24,7 +24,7 @@
 Include:
 
 License:
-GPL
+GPLed build tool
 
 Maintainer:
 Paul Eggert