# HG changeset patch
# User Luc Teirlinck <teirllm@auburn.edu>
# Date 1148079664 0
# Node ID 756223adf8854a69c658c7461fdd295c7b837ea9
# Parent  a7848336d7507b4eafc3dd201035d0e7b3507e95
(Checklist): ifinfo -> ifnottex.

diff -r a7848336d750 -r 756223adf885 man/trouble.texi
--- a/man/trouble.texi	Fri May 19 22:59:21 2006 +0000
+++ b/man/trouble.texi	Fri May 19 23:01:04 2006 +0000
@@ -890,10 +890,10 @@
 trying to fix, or why your patch should be an improvement, we mustn't
 install it.
 
-@ifinfo
+@ifnottex
 @xref{Sending Patches}, for guidelines on how to make it easy for us to
 understand and install your patches.
-@end ifinfo
+@end ifnottex
 
 @item
 A guess about what the bug is or what it depends on.