diff options
-rw-r--r-- | make.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make.texinfo b/make.texinfo index c3d5912..3a19ee1 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 |