changeset 70750:3b837723ad8f

(Indentation Commands): ifinfo -> ifnottex.
author Luc Teirlinck <teirllm@auburn.edu>
date Fri, 19 May 2006 22:44:02 +0000
parents 3b538a92087b
children ffbd979f134d
files man/indent.texi
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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