diff options
Diffstat (limited to 'doc/extern-inline.texi')
-rw-r--r-- | doc/extern-inline.texi | 9 |
1 files changed, 4 insertions, 5 deletions
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. |