From 2984897411ae968a45f1abd4f02fe82c3c1cb613 Mon Sep 17 00:00:00 2001
From: Luc Teirlinck <teirllm@auburn.edu>
Date: Fri, 19 May 2006 22:44:02 +0000
Subject: [PATCH] (Indentation Commands): ifinfo -> ifnottex.

---
 man/indent.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/man/indent.texi b/man/indent.texi
index 319244bface..d5c69daa192 100644
--- a/man/indent.texi
+++ b/man/indent.texi
@@ -154,9 +154,9 @@ point, until it is underneath the next indentation point in the previous line.
 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
-- 
2.39.5