On 2020-07-30 23:48, Bernhard Voelker wrote:
> $ diff -u0 doc/fdl.texi doc/fdl-1.3.texi
> --- doc/fdl.texi 2019-06-23 11:00:48.274552884 +0200
> +++ doc/fdl-1.3.texi 2019-06-23 11:00:48.258552658 +0200
> @@ -417 +417 @@
> -@uref{https://www.gnu.org/copyleft/}.
> +@uref{https://www.gnu.org/licenses/}.
>
> Fist of all, I consider this difference a bug in 'doc/fdl.texi', a remnant
> from the older gfdl-1.2 text.
FWIW:
all of the FDL versions (1.1 [1], 1.2 [2] and 1.3 [3]) ever had the URL
ending on "/licenses/" instead of "/copyleft/" in their original texts.
[1] http://www.gnu.org/licenses/fdl-1.1.html
[2] http://www.gnu.org/licenses/fdl-1.2.html
[3] http://www.gnu.org/licenses/fdl-1.3.html
So this bug was introduced in the initial commit [4] to gnulib.
[4] https://git.sv.gnu.org/cgit/gnulib.git/commit/?id=9be083d500
Have a nice day,
Berny