diff man/rmail.texi @ 70754:2e0df07624d9

(Rmail Labels): ifinfo -> ifnottex.
author Luc Teirlinck <teirllm@auburn.edu>
date Fri, 19 May 2006 22:54:03 +0000
parents 1380f781e6f3
children 4d628cade603 a8190f7e546e
line wrap: on
line diff
--- 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