1 files changed, 31 insertions, 17 deletions

diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 66dd5e43..339865ce 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -281,19 +281,24 @@ implementation of AWK.
 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 the
-Invariant Sections being ``GNU General Public License'', the Front-Cover
-texts being (a) (see below), and with the Back-Cover Texts being (b)
-(see below).  A copy of the license is included in the section entitled
+Invariant Sections being ``GNU General Public License'', with the
+Front-Cover Texts being ``A GNU Manual'', and with the Back-Cover Texts
+as in (a) below.
+@ifclear FOR_PRINT
+A copy of the license is included in the section entitled
 ``GNU Free Documentation License''.
+@end ifclear
+@ifset FOR_PRINT
+A copy of the license
+may be found on the Internet at
+@uref{http://www.gnu.org/software/gawk/manual/html_node/GNU-Free-Documentation-License.html,
+the GNU Project's web site}.
+@end ifset
 
 @enumerate a
 @item
-``A GNU Manual''
-
-@item
-``You have the freedom to
-copy and modify this GNU manual.  Buying copies from the FSF
-supports it in developing GNU and promoting software freedom.''
+The FSF's Back-Cover Text is: ``You have the freedom to
+copy and modify this GNU manual.''
 @end enumerate
 @end copying
 
@@ -1572,7 +1577,8 @@ the @command{gawk} source code and this @value{DOCUMENT}, respectively.
 It contains the following appendices:
 @end ifclear
 @ifset FOR_PRINT
-Part IV provides the following appendices:
+Part IV provides the following appendices,
+including the GNU General Public License:
 @end ifset
 
 @ref{Language History},
@@ -1589,6 +1595,10 @@ in @command{gawk} and where to get other freely
 available @command{awk} implementations.
 
 @ifset FOR_PRINT
+
+@ref{Copying},
+presents the license that covers the @command{gawk} source code.
+
 The version of this @value{DOCUMENT} distributed with @command{gawk}
 contains additional appendices and other end material.
 To save space, we have omitted them from the
@@ -1611,10 +1621,9 @@ defines most, if not all, the significant terms used
 throughout the @value{DOCUMENT}.  If you find terms that you aren't familiar with,
 try looking them up here.
 
-@uref{http://www.gnu.org/software/gawk/manual/html_node/Copying.html, The GNU GPL} and
-@uref{http://www.gnu.org/software/gawk/manual/html_node/GNU-Free-Documentation-License.html, the GNU FDL}
-are the licenses that cover the @command{gawk} source code
-and this @value{DOCUMENT}, respectively.
+@uref{http://www.gnu.org/software/gawk/manual/html_node/GNU-Free-Documentation-License.html,
+The GNU FDL}
+is the license that covers this @value{DOCUMENT}.
 @end ifset
 
 @ifclear FOR_PRINT
@@ -33788,13 +33797,14 @@ Write a wrapper script that provides an interface similar to
 @ifdocbook
 
 @ifclear FOR_PRINT
-Part IV contains the appendixes (including the two licenses that cover
+Part IV contains the appendices (including the two licenses that cover
 the @command{gawk} source code and this @value{DOCUMENT}, respectively)
 and the Glossary:
 @end ifclear
 
 @ifset FOR_PRINT
-Part IV contains two appendixes:
+Part IV contains two appendices and the license that
+covers the @command{gawk} source code:
 @end ifset
 
 @itemize @value{BULLET}
@@ -33813,10 +33823,12 @@ Part IV contains two appendixes:
 
 @item
 @ref{Glossary}.
+@end ifclear
 
 @item
 @ref{Copying}.
 
+@ifclear FOR_PRINT
 @item
 @ref{GNU Free Documentation License}.
 @end ifclear
@@ -39089,6 +39101,8 @@ A sequence of space, TAB, or newline characters occurring inside an input
 record or a string.
 @end table
 
+@end ifclear
+
 @c The GNU General Public License.
 @node Copying
 @unnumbered GNU General Public License
@@ -39818,7 +39832,7 @@ applications with the library.  If this is what you want to do, use
 the GNU Lesser General Public License instead of this License.  But
 first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
 
-
+@ifclear FOR_PRINT
 @c The GNU Free Documentation License.
 @node GNU Free Documentation License
 @unnumbered GNU Free Documentation License