Re: [PATCH] vcs-to-changelog: Add manual documentation

[Bruno Haible]

Hi Siddhesh,

> >>    * doc/vcs-to-changelog.texi: New file.
> >>    * doc/gnulib.texi (Build Infrastructure Modules): Add
> >>    vcs-to-changelog section.
> > 
> > Thanks. Applied, with a change to the license notice:
> > 
> >> +@c Texts.  A copy of the license is included in the ``GNU Free
> >> +@c Documentation License'' file as part of this distribution.
> > 
> > "as part of this distribution" is not really applicable, since the gnulib
> > manual is never included in a tarball. I copied the license notice from
> > gnulib.texi instead (also GFDL 1.3).
> 
> Thanks, I think I copied from some other source file in gnulib.

Ah, I see.

John Darrington pointed out to me two months ago that it is quite frequent that
individual files get copied out of the original package and out of the original
git repository. The license notices should cater about this; they should neither
refer to a "file as part of this distribution" nor to "the section entitled ..."
if that section is not in the same file. The best way to handle this is a URL.
Nowadays you can assume that people normally have an internet connection.


2020-01-18  Bruno Haible  <address@hidden>

        doc: Update license notices.
        * doc/*.texi: Reference the GFDL 1.3 through a URL, rather than by
        reference to a section or to a "file as part of this distribution".

diff --git a/ChangeLog b/ChangeLog
index fcf7105..9b5af02 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2020-01-18  Bruno Haible  <address@hidden>
 
+       doc: Update license notices.
+       * doc/*.texi: Reference the GFDL 1.3 through a URL, rather than by
+       reference to a section or to a "file as part of this distribution".
+
+2020-01-18  Bruno Haible  <address@hidden>
+
        Avoid error "m4_require: circular dependency of AC_LANG_COMPILER(C)".
        Reported by Mats Erik Andersson <address@hidden> in
        <https://lists.gnu.org/archive/html/bug-gnulib/2020-01/msg00109.html>.
diff --git a/doc/alloca-opt.texi b/doc/alloca-opt.texi
index 571f492..982e25b 100644
--- a/doc/alloca-opt.texi
+++ b/doc/alloca-opt.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{alloca-opt} module provides for a function @code{alloca} which 
allocates
 memory on the stack, where the system allows it. A memory block allocated with
diff --git a/doc/alloca.texi b/doc/alloca.texi
index 66db019..4cd364a 100644
--- a/doc/alloca.texi
+++ b/doc/alloca.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{alloca} module provides for a function @code{alloca} which allocates
 memory on the stack, where the system allows it. A memory block allocated with
diff --git a/doc/c-ctype.texi b/doc/c-ctype.texi
index 5d7deda..5b7cfb6 100644
--- a/doc/c-ctype.texi
+++ b/doc/c-ctype.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{c-ctype} module contains functions operating on single-byte
 characters, like the functions in @code{<ctype.h>}, that operate as if the
diff --git a/doc/c-strcase.texi b/doc/c-strcase.texi
index 3bd7560..407183d 100644
--- a/doc/c-strcase.texi
+++ b/doc/c-strcase.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{c-strcase} module contains case-insensitive string comparison
 functions operating on single-byte character strings, like the functions in
diff --git a/doc/c-strcaseeq.texi b/doc/c-strcaseeq.texi
index 268c2c9..0412549 100644
--- a/doc/c-strcaseeq.texi
+++ b/doc/c-strcaseeq.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{c-strcaseeq} module contains an optimized case-insensitive
 string comparison function operating on single-byte character strings, that
diff --git a/doc/c-strcasestr.texi b/doc/c-strcasestr.texi
index 9f579d0..1b1c0e7 100644
--- a/doc/c-strcasestr.texi
+++ b/doc/c-strcasestr.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{c-strcasestr} module contains a case-insensitive string search
 function operating on single-byte character strings, that operate as if the
diff --git a/doc/c-strstr.texi b/doc/c-strstr.texi
index ea57e49..0ea79bc 100644
--- a/doc/c-strstr.texi
+++ b/doc/c-strstr.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{c-strstr} module contains a substring search function operating
 on single-byte character strings, that operate as if the locale encoding
diff --git a/doc/c-strtod.texi b/doc/c-strtod.texi
index 49debe9..27a97d3 100644
--- a/doc/c-strtod.texi
+++ b/doc/c-strtod.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{c-strtod} module contains a string to number (@samp{double})
 conversion function operating on single-byte character strings, that operates
diff --git a/doc/c-strtold.texi b/doc/c-strtold.texi
index 1e27343..4c891c0 100644
--- a/doc/c-strtold.texi
+++ b/doc/c-strtold.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{c-strtold} module contains a string to number (@samp{long double})
 conversion function operating on single-byte character strings, that operates
diff --git a/doc/containers.texi b/doc/containers.texi
index 35423d3..739ed81 100644
--- a/doc/containers.texi
+++ b/doc/containers.texi
@@ -6,9 +6,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @c Written by Bruno Haible.
 
diff --git a/doc/extern-inline.texi b/doc/extern-inline.texi
index 6ac8c01..1a0d3b6 100644
--- a/doc/extern-inline.texi
+++ b/doc/extern-inline.texi
@@ -3,11 +3,10 @@
 @c Copyright (C) 2013--2020 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.3
-@c or any later version published by the Free Software Foundation;
-@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c under the terms of the GNU Free Documentation License, Version 1.3 or
+@c any later version published by the Free Software Foundation; with no
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @c Written by Paul Eggert.
 
diff --git a/doc/gcd.texi b/doc/gcd.texi
index a7e5643..20a92ab 100644
--- a/doc/gcd.texi
+++ b/doc/gcd.texi
@@ -7,9 +7,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{gcd} function returns the greatest common divisor of two numbers
 @code{a > 0} and @code{b > 0}.  It is the caller's responsibility to ensure
diff --git a/doc/gnulib-intro.texi b/doc/gnulib-intro.texi
index 5d75c9b..be703a4 100644
--- a/doc/gnulib-intro.texi
+++ b/doc/gnulib-intro.texi
@@ -440,8 +440,7 @@ Permission is granted to copy, distribute and/or modify 
this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
 any later version published by the Free Software Foundation; with no
 Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
-copy of the license is included in the section entitled ``GNU Free
-Documentation License''.
+copy of the license is at @url{https://www.gnu.org/licenses/fdl-1.3.en.html}.
 @end quotation
 @end table
 
diff --git a/doc/gnulib-readme.texi b/doc/gnulib-readme.texi
index c579ea7..2ec11d5 100644
--- a/doc/gnulib-readme.texi
+++ b/doc/gnulib-readme.texi
@@ -3,11 +3,10 @@
 @c Copyright 2001, 2003--2020 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.3
-@c or any later version published by the Free Software Foundation;
-@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c under the terms of the GNU Free Documentation License, Version 1.3 or
+@c any later version published by the Free Software Foundation; with no
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @menu
 * Gnulib Basics::
diff --git a/doc/gnulib-tool.texi b/doc/gnulib-tool.texi
index 6132add..44a393a 100644
--- a/doc/gnulib-tool.texi
+++ b/doc/gnulib-tool.texi
@@ -6,9 +6,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @pindex gnulib-tool
 @cindex invoking @command{gnulib-tool}
diff --git a/doc/gnulib.texi b/doc/gnulib.texi
index b673189..45b9a8c 100644
--- a/doc/gnulib.texi
+++ b/doc/gnulib.texi
@@ -31,6 +31,7 @@ any later version published by the Free Software Foundation; 
with no
 Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
 copy of the license is included in the section entitled ``GNU Free
 Documentation License''.
+@c A copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 @end copying
 
 @dircategory Software development
diff --git a/doc/intprops.texi b/doc/intprops.texi
index 19384a7..c6543db 100644
--- a/doc/intprops.texi
+++ b/doc/intprops.texi
@@ -6,9 +6,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @c Written by Paul Eggert.
 
diff --git a/doc/lib-symbol-visibility.texi b/doc/lib-symbol-visibility.texi
index 1e523f0..f91ba25 100644
--- a/doc/lib-symbol-visibility.texi
+++ b/doc/lib-symbol-visibility.texi
@@ -8,9 +8,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 The @code{lib-symbol-visibility} module allows precise control of the
 symbols exported by a shared library.  This is useful because
diff --git a/doc/noreturn.texi b/doc/noreturn.texi
index 7a6d54c..62bdbde 100644
--- a/doc/noreturn.texi
+++ b/doc/noreturn.texi
@@ -3,11 +3,10 @@
 @c Copyright (C) 2019--2020 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.3
-@c or any later version published by the Free Software Foundation;
-@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c under the terms of the GNU Free Documentation License, Version 1.3 or
+@c any later version published by the Free Software Foundation; with no
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @node Non-returning Functions
 @section Non-returning Functions
diff --git a/doc/parse-datetime.texi b/doc/parse-datetime.texi
index 7b76af2..c435ea4 100644
--- a/doc/parse-datetime.texi
+++ b/doc/parse-datetime.texi
@@ -5,9 +5,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @node Date input formats
 @chapter Date input formats
diff --git a/doc/progname.texi b/doc/progname.texi
index cf96282..2ed59fd 100644
--- a/doc/progname.texi
+++ b/doc/progname.texi
@@ -6,9 +6,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 Gnulib has two modules for retrieving the name of the currently executing
 program: @code{progname} and @code{getprogname}.
diff --git a/doc/quote.texi b/doc/quote.texi
index 895a223..6a9ce4e 100644
--- a/doc/quote.texi
+++ b/doc/quote.texi
@@ -6,9 +6,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @cindex Quoting
 @findex quote
diff --git a/doc/regexprops-generic.texi b/doc/regexprops-generic.texi
index 164ebaf..fb2534e 100644
--- a/doc/regexprops-generic.texi
+++ b/doc/regexprops-generic.texi
@@ -4,9 +4,8 @@
 @c Permission is granted to copy, distribute and/or modify this document
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
-@c Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @c this regular expression description is for: generic
 
diff --git a/doc/static-inline.texi b/doc/static-inline.texi
index b0ac74e..ca5bfe8 100644
--- a/doc/static-inline.texi
+++ b/doc/static-inline.texi
@@ -3,11 +3,10 @@
 @c Copyright (C) 2019--2020 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.3
-@c or any later version published by the Free Software Foundation;
-@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c under the terms of the GNU Free Documentation License, Version 1.3 or
+@c any later version published by the Free Software Foundation; with no
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @node static inline
 @section Static inline functions
diff --git a/doc/vcs-to-changelog.texi b/doc/vcs-to-changelog.texi
index 59be718..a820767 100644
--- a/doc/vcs-to-changelog.texi
+++ b/doc/vcs-to-changelog.texi
@@ -7,8 +7,7 @@
 @c under the terms of the GNU Free Documentation License, Version 1.3 or
 @c any later version published by the Free Software Foundation; with no
 @c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
-@c copy of the license is included in the section entitled ``GNU Free
-@c Documentation License''.
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @cindex VCS To ChangeLog
 @findex vcs-to-changelog
diff --git a/doc/verify.texi b/doc/verify.texi
index 2041514..45a0e8c 100644
--- a/doc/verify.texi
+++ b/doc/verify.texi
@@ -3,11 +3,10 @@
 @c Copyright (C) 2006, 2009--2020 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.3
-@c or any later version published by the Free Software Foundation;
-@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c under the terms of the GNU Free Documentation License, Version 1.3 or
+@c any later version published by the Free Software Foundation; with no
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @node Compile-time Assertions
 @section Compile-time Assertions
diff --git a/doc/xstdopen.texi b/doc/xstdopen.texi
index 9b15f2f..a01ea8e 100644
--- a/doc/xstdopen.texi
+++ b/doc/xstdopen.texi
@@ -3,11 +3,10 @@
 @c Copyright (C) 2019--2020 Free Software Foundation, Inc.
 
 @c Permission is granted to copy, distribute and/or modify this document
-@c under the terms of the GNU Free Documentation License, Version 1.3
-@c or any later version published by the Free Software Foundation;
-@c with no Invariant Sections, no Front-Cover Texts, and no Back-Cover
-@c Texts.  A copy of the license is included in the ``GNU Free
-@c Documentation License'' file as part of this distribution.
+@c under the terms of the GNU Free Documentation License, Version 1.3 or
+@c any later version published by the Free Software Foundation; with no
+@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.  A
+@c copy of the license is at <https://www.gnu.org/licenses/fdl-1.3.en.html>.
 
 @c Written by Bruno Haible, based on ideas from Paul Eggert.