diff man/indent.texi @ 70750:3b837723ad8f

(Indentation Commands): ifinfo -> ifnottex.

--- a/man/indent.texi	Fri May 19 22:42:17 2006 +0000
+++ b/man/indent.texi	Fri May 19 22:44:02 2006 +0000
@@ -154,9 +154,9 @@
 An indentation point is the end of a sequence of whitespace or the end of
 the line.  If point is farther right than any indentation point in the
 previous line, @code{indent-relative} runs @code{tab-to-tab-stop}
-@ifinfo
+@ifnottex
 (@pxref{Tab Stops}),
-@end ifinfo
+@end ifnottex
 @iftex
 (see next section),
 @end iftex