From: Paul Eggert <eggert@cs.ucla.edu>
Date: Thu, 4 Oct 2007 22:26:34 +0000 (+0000)
Subject: * doc/gzip.texi: Adjust to new fdl.texi format, in gnulib.
X-Git-Tag: v1.3.13~35
X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=608657a71600cf7b3f34c767e71e23c8998bedd4;p=debian%2Fgzip

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

diff --git a/ChangeLog b/ChangeLog
index c7a0ceb..474efe7 100644
--- 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 a2c723e..97373d8 100644
--- 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