From: Paul Smith <psmith@gnu.org>
Date: Sat, 4 Jan 2020 18:11:21 +0000 (-0500)
Subject: * doc/make.texi: Change the GFDL to an Appendix
X-Git-Tag: 4.3~6
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ec946d7e21ca55cc03d056f61bd2abc068ede5c0;p=thirdparty%2Fmake.git

* doc/make.texi: Change the GFDL to an Appendix
---

diff --git a/doc/make.texi b/doc/make.texi
index 135f58bc..8be8a364 100644
--- a/doc/make.texi
+++ b/doc/make.texi
@@ -1932,8 +1932,8 @@ more recent than it.
 @item
 How to update the file @file{foo.o}: by running @code{cc} as stated.
 The recipe does not explicitly mention @file{defs.h}, but we presume
-that @file{foo.c} includes it, and that that is why @file{defs.h} was
-added to the prerequisites.
+that @file{foo.c} includes it, and that is why @file{defs.h} was added
+to the prerequisites.
 @end itemize
 @end ifnottex
 
@@ -13013,7 +13013,7 @@ tar.zoo: $(SRCS) $(AUX)
 @end example
 
 @node GNU Free Documentation License, Concept Index, Complex Makefile, Top
-@appendixsec GNU Free Documentation License
+@appendix GNU Free Documentation License
 @cindex FDL, GNU Free Documentation License
 @include fdl.texi