From 608657a71600cf7b3f34c767e71e23c8998bedd4 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Thu, 4 Oct 2007 22:26:34 +0000 Subject: [PATCH] * doc/gzip.texi: Adjust to new fdl.texi format, in gnulib. --- ChangeLog | 2 ++ doc/gzip.texi | 10 +++------- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/ChangeLog b/ChangeLog index c7a0ceb..474efe7 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2007-10-04 Paul Eggert + * 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 -- 2.47.2