From: Simon Josefsson Date: Mon, 2 Jul 2007 13:31:47 +0000 (+0000) Subject: 2007-07-02 Simon Josefsson X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=200a5f2be3b91b249ed26bd80fbcb9e276ef84f9;p=pspp 2007-07-02 Simon Josefsson * modules/gpl-3.0: New file, based on gpl-2.0. * modules/gpl-2.0: Renamed from gpl. * modules/gpl: Fix filename, doc/gpl.texi is now found at doc/gpl-2.0.texi. --- diff --git a/ChangeLog b/ChangeLog index 24f9a85377..1c8c490402 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,12 @@ +2007-07-02 Simon Josefsson + + * modules/gpl-3.0: New file, based on gpl-2.0. + + * modules/gpl-2.0: Renamed from gpl. + + * modules/gpl: Fix filename, doc/gpl.texi is now found at + doc/gpl-2.0.texi. + 2007-07-02 Paul Eggert * lib/inttypes_.h [defined __cplusplus&&!defined __STDC_LIMIT_MACROS]: diff --git a/modules/gpl b/modules/gpl deleted file mode 100644 index 3d56cbb770..0000000000 --- a/modules/gpl +++ /dev/null @@ -1,19 +0,0 @@ -Description: -Provide the GNU General Public License in Texinfo format. - -Files: -doc/gpl.texi - -Depends-on: - -configure.ac: - -Makefile.am: - -Include: - -License: -unmodifiable license text - -Maintainer: -all diff --git a/modules/gpl-2.0 b/modules/gpl-2.0 new file mode 100644 index 0000000000..8633a5c48f --- /dev/null +++ b/modules/gpl-2.0 @@ -0,0 +1,19 @@ +Description: +Provide the GNU General Public License version 2.0 in Texinfo format. + +Files: +doc/gpl-2.0.texi + +Depends-on: + +configure.ac: + +Makefile.am: + +Include: + +License: +unmodifiable license text + +Maintainer: +all diff --git a/modules/gpl-3.0 b/modules/gpl-3.0 new file mode 100644 index 0000000000..95deef8850 --- /dev/null +++ b/modules/gpl-3.0 @@ -0,0 +1,19 @@ +Description: +Provide the GNU General Public License version 3.0 in Texinfo format. + +Files: +doc/gpl-3.0.texi + +Depends-on: + +configure.ac: + +Makefile.am: + +Include: + +License: +unmodifiable license text + +Maintainer: +all