# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1148079243 0
# Node ID 2e0df07624d906f4e9ba5bb9b2f5b3e216d36cba
# Parent  e3782515d3eae412e06ae820a8b73914cbe90e6b
(Rmail Labels): ifinfo -> ifnottex.

diff -r e3782515d3ea -r 2e0df07624d9 man/rmail.texi
--- a/man/rmail.texi	Fri May 19 22:51:45 2006 +0000
+++ b/man/rmail.texi	Fri May 19 22:54:03 2006 +0000
@@ -550,9 +550,9 @@
 message.  A few label names have standard meanings and are given to
 messages automatically by Rmail when appropriate; these special labels
 are called @dfn{attributes}.
-@ifinfo
+@ifnottex
 (@xref{Rmail Attributes}.)
-@end ifinfo
+@end ifnottex
 All other labels are assigned only by users.
 
 @table @kbd