diff --git a/make.texinfo b/make.texinfo index c3d59129..3a19ee1d 100644 --- a/make.texinfo +++ b/make.texinfo @@ -3130,7 +3130,7 @@ exported (unless you unexport them). on the command line, by putting them in the @code{MAKEFLAGS} variable. @iftex See the next section. -@end iftext +@end iftex @ifinfo @xref{Options/Recursion}. @end ifinfo