From fb87bcf5306ddb0f7d8eb1f31837e8dada25b5d2 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 15 Nov 2007 20:58:12 -0800 Subject: [PATCH] The license of gnu-make and posix-shell is now "GPLed build tool". * modules/gnu-make (License): Likewise. * modules/posix-shell (License): Likewise. --- ChangeLog | 5 +++++ modules/gnu-make | 2 +- modules/posix-shell | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 6d9f663f45..ecea8e207c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,9 +1,14 @@ 2007-11-15 Paul Eggert + 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 bfbbb1f645..6d1c63a24b 100644 --- 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 aafd5b7b9e..8f7b864e88 100644 --- a/modules/posix-shell +++ b/modules/posix-shell @@ -24,7 +24,7 @@ Makefile.am: Include: License: -GPL +GPLed build tool Maintainer: Paul Eggert -- 2.30.2