diff --git a/man/mule.texi b/man/mule.texi
index e2dd270c772..b4076dde031 100644
--- a/man/mule.texi
+++ b/man/mule.texi
@@ -429,9 +429,9 @@ immediately delete it.  For example, you could type @kbd{e e @key{DEL}
   Another method, more general but not quite as easy to type, is to use
 @kbd{C-\ C-\} between two characters to stop them from combining.  This
 is the command @kbd{C-\} (@code{toggle-input-method}) used twice.
-@ifinfo
+@ifnottex
 @xref{Select Input Method}.
-@end ifinfo
+@end ifnottex
 
 @cindex incremental search, input method interference
   @kbd{C-\ C-\} is especially useful inside an incremental search,
@@ -563,9 +563,9 @@ through your choice of language environment
 @iftex
 (see above).
 @end iftex
-@ifinfo
+@ifnottex
 (@pxref{Language Environments}).
-@end ifinfo
+@end ifnottex
 If you do not specify a choice, the default is Latin-1.
 
   If you insert a character in the range 0200 through 0237, which