* doc/gzip.texi: Adjust to new fdl.texi format, in gnulib.

diff --git a/ChangeLog b/ChangeLog
index c7a0cebde0073f280143d61fb3cd5b6a3a51d867..474efe782b08184c8729d27fa5ae692cf8e4b9da 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2007-10-04  Paul Eggert  <eggert@cs.ucla.edu>
 
+       * doc/gzip.texi: Adjust to new fdl.texi format, in gnulib.
+
        * Makefile.am (gzip.doc.gz, check-local): Depend on $(bin_PROGRAMS).
        (gzip.doc.gz): Use our gzip, not the system-installed one.
        Problem reported by Chris Staub in

diff --git a/doc/gzip.texi b/doc/gzip.texi
index a2c723eb2ece633ea97aded4007811fafe23e957..97373d85374763a9eed4868b0d4fc09de5dfb48c 100644 (file)
--- a/doc/gzip.texi
+++ b/doc/gzip.texi
@@ -69,7 +69,7 @@ Free Documentation License''.
 * Environment::                The @env{GZIP} environment variable
 * Tapes::               Using @command{gzip} on tapes.
 * Problems::           Reporting bugs.
-* Copying This Manual:: How to make copies of this manual.
+* GNU Free Documentation License:: Copying and sharing this manual.
 * Concept Index::      Index of concepts.
 @end menu
 
@@ -512,12 +512,8 @@ a description of the bug behavior, and the input to @command{gzip}
 that triggered
 the bug.@refill
 
-@node Copying This Manual
-@appendix Copying This Manual
-
-@menu
-* GNU Free Documentation License::  License for copying this manual.
-@end menu
+@node GNU Free Documentation License
+@appendix GNU Free Documentation License
 
 @include fdl.texi