On 2020-07-31 00:04, Bruno Haible wrote: > Bernhard Voelker wrote: >> But once this would be fixed, then the whole 'fdl' module (or the 'fdl-1.3' >> module?) seems to be redundant, doesn't it? >> Couldn't we remove one of them? > > The idea of the 'fdl' module is to point to the current version of the GFDL.
okay, that means the URL bug should get fixed, right? Patch attached. > A maintainer who does not want to be surprised by a silent license change > will pick the module with the explicit version number. > > There is now a notice in the module description > "Don't use this module! Instead, copy the referenced license file into > your version control repository." > [...] That warning is exactly from where I'm coming from ... ;-) But I thought the discussion was about that each project has to have all license files as physical copy in its version control, which means it should not copy it at bootstrap time from gnulib into the working tree. It should be there after cloning a project. Still, it's good to have it in gnulib, so that projects can simply 'cp gnulib/doc/fdl.texi doc/fdl.texi' once there would be an update in central gnulib. Have a nice day, Berny
>From babfc8b9066f705f37b47e2b66e074252266d92f Mon Sep 17 00:00:00 2001 From: Bernhard Voelker <m...@bernhard-voelker.de> Date: Fri, 31 Jul 2020 00:32:01 +0200 Subject: [PATCH] fdl: fix URL to GNU licenses page * doc/fdl.texi: Change from 'https://www.gnu.org/copyleft/' to 'https://www.gnu.org/licenses/'. The latter has ever been in the original license texts since fdl-1.1, fdl-1.2 and fdl-1.3; see <https://www.gnu.org/licenses/fdl-1.3.html>. Bug present since the initial addition of the license text to gnulib (commit 9be083d500). # Conflicts: # ChangeLog --- ChangeLog | 10 ++++++++++ doc/fdl.texi | 2 +- 2 files changed, 11 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 95851778c..7764f231c 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,13 @@ +2020-07-31 Bernhard Voelker <m...@bernhard-voelker.de> + + fdl: fix URL to GNU licenses page + * doc/fdl.texi: Change from 'https://www.gnu.org/copyleft/' to + 'https://www.gnu.org/licenses/'. The latter has ever been in the + original license texts since fdl-1.1, fdl-1.2 and fdl-1.3; see + <https://www.gnu.org/licenses/fdl-1.3.html>. + Bug present since the initial addition of the license text + to gnulib (commit 9be083d500). + 2020-07-30 Bruno Haible <br...@clisp.org> unicodeio: Add comment. diff --git a/doc/fdl.texi b/doc/fdl.texi index 542edaad2..eaf3da0e9 100644 --- a/doc/fdl.texi +++ b/doc/fdl.texi @@ -414,7 +414,7 @@ The Free Software Foundation may publish new, revised versions of the GNU Free Documentation License from time to time. Such new versions will be similar in spirit to the present version, but may differ in detail to address new problems or concerns. See -@uref{https://www.gnu.org/copyleft/}. +@uref{https://www.gnu.org/licenses/}. Each version of the License is given a distinguishing version number. If the Document specifies that a particular numbered version of this -- 2.27.0
