# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1148078642 0
# Node ID 3b837723ad8fc1edf6fe6648749e0643a29e21d9
# Parent  3b538a92087b2d53771acdb4365559d0991685eb
(Indentation Commands): ifinfo -> ifnottex.

diff -r 3b538a92087b -r 3b837723ad8f man/indent.texi
--- 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