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