From ec946d7e21ca55cc03d056f61bd2abc068ede5c0 Mon Sep 17 00:00:00 2001 From: Paul Smith Date: Sat, 4 Jan 2020 13:11:21 -0500 Subject: [PATCH] * doc/make.texi: Change the GFDL to an Appendix --- doc/make.texi | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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