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".

28 files changed, 69 insertions, 88 deletions

diff --git a/ChangeLog b/ChangeLog
index fcf7105b7f..9b5af022f1 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,11 @@
 2020-01-18  Bruno Haible  <bruno@clisp.org>
 
+	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  <bruno@clisp.org>
+
 	Avoid error "m4_require: circular dependency of AC_LANG_COMPILER(C)".
 	Reported by Mats Erik Andersson <mats.andersson@gisladisker.se> 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 571f492d57..982e25be9f 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 66db0197a7..4cd364aa0b 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 5d7dedaeb1..5b7cfb6e4c 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 3bd756027a..407183d434 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 268c2c9e72..04125497ff 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 9f579d0f35..1b1c0e7654 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 ea57e49074..0ea79bca01 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 49debe9401..27a97d3914 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 1e27343aff..4c891c0452 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 35423d35cc..739ed811b7 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 6ac8c011ee..1a0d3b624d 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 a7e564335d..20a92abfa8 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 5d75c9bb14..be703a4e4d 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 c579ea76a1..2ec11d554a 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 6132add90f..44a393a699 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 b673189a18..45b9a8cf97 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 19384a7129..c6543dbe6f 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 1e523f00be..f91ba25bfe 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 7a6d54ca3a..62bdbde1fd 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 7b76af2671..c435ea4c2d 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 cf9628203b..2ed59fd11a 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 895a223dd0..6a9ce4e972 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 164ebaf7a6..fb2534e942 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 b0ac74eab3..ca5bfe8164 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 59be71858d..a8207670d6 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 2041514dd7..45a0e8c342 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 9b15f2fcc3..a01ea8ed4a 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.