Hello all,

Since Savannah requires licenses to be under version control (see
here¹), I don't think it makes sense for Gnulib to provide modules for
them. My reasoning is that if developers are going to use a Gnulib
module, they won't keep the files it provides under version control (in
fact, gnulib-tool itself adds these files to .gitignore). There's no
reason to remove the license *files*, since it could be useful for
developers to copy them directly.

Please see the attached patch, which removes the license modules (but
keeps the license files themselves).

Thanks,
Asher


Footnotes: 
¹  https://savannah.nongnu.org/task/?func=detailitem&item_id=15583

-- 
...very few phenomena can pull someone out of Deep Hack Mode, with two
noted exceptions: being struck by lightning, or worse, your *computer*
being struck by lightning.
                -- Matt Welsh
                               --------
I prefer to send and receive mail encrypted. Please send me your
public key, and if you do not have my public key, please let me
know. Thanks.

GPG fingerprint: 38F3 975C D173 4037 B397  8095 D4C9 C4FC 5460 8E68
From 9bfacca0d43c97d3596650531de7f2eeb6124b92 Mon Sep 17 00:00:00 2001
From: Asher Gordon <[email protected]>
Date: Tue, 12 May 2020 13:34:34 -0400
Subject: [PATCH] doc: Remove Texinfo-format license modules.

It doesn't make sense to provide these modules, since licenses are
required to be under version control anyway.

* modules/agpl-3.0: Remove.
* modules/fdl: Remove.
* modules/fdl-1.3: Remove.
* modules/gpl-2.0: Remove.
* modules/gpl-3.0: Remove.
* modules/lgpl-2.1: Remove.
* modules/lgpl-3.0: Remove.
---
 modules/agpl-3.0 | 19 -------------------
 modules/fdl      | 19 -------------------
 modules/fdl-1.3  | 19 -------------------
 modules/gpl-2.0  | 19 -------------------
 modules/gpl-3.0  | 19 -------------------
 modules/lgpl-2.1 | 19 -------------------
 modules/lgpl-3.0 | 19 -------------------
 7 files changed, 133 deletions(-)
 delete mode 100644 modules/agpl-3.0
 delete mode 100644 modules/fdl
 delete mode 100644 modules/fdl-1.3
 delete mode 100644 modules/gpl-2.0
 delete mode 100644 modules/gpl-3.0
 delete mode 100644 modules/lgpl-2.1
 delete mode 100644 modules/lgpl-3.0

diff --git a/modules/agpl-3.0 b/modules/agpl-3.0
deleted file mode 100644
index 98c3cedf4..000000000
--- a/modules/agpl-3.0
+++ /dev/null
@@ -1,19 +0,0 @@
-Description:
-Provide the GNU Affero General Public License version 3.0 in Texinfo format.
-
-Files:
-doc/agpl-3.0.texi
-
-Depends-on:
-
-configure.ac:
-
-Makefile.am:
-
-Include:
-
-License:
-unmodifiable license text
-
-Maintainer:
-all
diff --git a/modules/fdl b/modules/fdl
deleted file mode 100644
index 6d6f85996..000000000
--- a/modules/fdl
+++ /dev/null
@@ -1,19 +0,0 @@
-Description:
-Provide the GNU Free Documentation License in Texinfo format.
-
-Files:
-doc/fdl.texi
-
-Depends-on:
-
-configure.ac:
-
-Makefile.am:
-
-Include:
-
-License:
-unmodifiable license text
-
-Maintainer:
-all
diff --git a/modules/fdl-1.3 b/modules/fdl-1.3
deleted file mode 100644
index c4d1dd6a7..000000000
--- a/modules/fdl-1.3
+++ /dev/null
@@ -1,19 +0,0 @@
-Description:
-Provide the GNU Free Documentation License version 1.3 in Texinfo format.
-
-Files:
-doc/fdl-1.3.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
deleted file mode 100644
index 8633a5c48..000000000
--- a/modules/gpl-2.0
+++ /dev/null
@@ -1,19 +0,0 @@
-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
deleted file mode 100644
index 95deef885..000000000
--- a/modules/gpl-3.0
+++ /dev/null
@@ -1,19 +0,0 @@
-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
diff --git a/modules/lgpl-2.1 b/modules/lgpl-2.1
deleted file mode 100644
index 5e0892058..000000000
--- a/modules/lgpl-2.1
+++ /dev/null
@@ -1,19 +0,0 @@
-Description:
-Provide the GNU Lesser General Public License version 2.1 in Texinfo format.
-
-Files:
-doc/lgpl-2.1.texi
-
-Depends-on:
-
-configure.ac:
-
-Makefile.am:
-
-Include:
-
-License:
-unmodifiable license text
-
-Maintainer:
-all
diff --git a/modules/lgpl-3.0 b/modules/lgpl-3.0
deleted file mode 100644
index 6638e7ccd..000000000
--- a/modules/lgpl-3.0
+++ /dev/null
@@ -1,19 +0,0 @@
-Description:
-Provide the GNU Lesser General Public License version 3.0 in Texinfo format.
-
-Files:
-doc/lgpl-3.0.texi
-
-Depends-on:
-
-configure.ac:
-
-Makefile.am:
-
-Include:
-
-License:
-unmodifiable license text
-
-Maintainer:
-all
-- 
2.26.2

Attachment: signature.asc
Description: PGP signature

Reply via email to