Re: FDL: wrong link in CVS?

[Bernhard Voelker]

On 2020-08-03 18:18, Bernhard Voelker wrote:
> Coming from the gnulib discussion at:
>   https://lists.gnu.org/r/bug-gnulib/2020-07/msg00185.html
> 
> There is a difference for the URL in the 'FUTURE REVISIONS OF THIS LICENSE'
> section of the FDL licensig text in CVS ...
> 
>   
> https://cvs.savannah.gnu.org/viewvc/gnustandards/gnustandards/fdl.texi?view=markup#l417
> 
> ... and all the other different formats available (web page, plain text,
> Texinfo, standalone HTML, DocBook/XML v4 or v5, LaTeX, Markdown, ODF, RTF):
> 
>   https://www.gnu.org/licenses/fdl-1.3.html
>   https://www.gnu.org/licenses/fdl-1.3.txt
>   https://www.gnu.org/licenses/fdl-1.3.texi
>   https://www.gnu.org/licenses/fdl-1.3-standalone.html
>   https://www.gnu.org/licenses/fdl-1.3.dbk
>   https://www.gnu.org/licenses/fdl-1.3-db5.xml
>   https://www.gnu.org/licenses/fdl-1.3.tex
>   https://www.gnu.org/licenses/fdl-1.3.md
>   https://www.gnu.org/licenses/fdl-1.3.odt
>   https://www.gnu.org/licenses/fdl-1.3.rtf
> 
> While the version in CVS has the link to the 'copyleft' page,
> all the others point to 'licenses':
> 
> -@uref{https://www.gnu.org/copyleft/}.
> +@uref{https://www.gnu.org/licenses/}.
> 
> Please clarify.
> 
> FWIW also older versions have the same link:
>   https://www.gnu.org/licenses/fdl-1.1.html
>   https://www.gnu.org/licenses/fdl-1.2.html
> 
> Thanks & have a nice day,
> Berny

In particular, I'm asking to apply the following patch.

Have a nice day,
Berny

cvs diff -u fdl.texi
Index: fdl.texi
===================================================================
RCS file: /sources/gnustandards/gnustandards/fdl.texi,v
retrieving revision 1.15
diff -u -r1.15 fdl.texi
--- fdl.texi    16 Nov 2017 18:48:45 -0000      1.15
+++ fdl.texi    18 Aug 2020 08:12:35 -0000
@@ -414,7 +414,7 @@
 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