diff man/trouble.texi @ 83527:c44562301a11

Merged from emacs@sv.gnu.org Patches applied: * emacs@sv.gnu.org/emacs--devo--0--patch-289 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-290 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-291 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-292 Update from CVS * emacs@sv.gnu.org/emacs--devo--0--patch-293 Update from CVS git-archimport-id: lorentey@elte.hu--2004/emacs--multi-tty--0--patch-567
author Karoly Lorentey <lorentey@elte.hu>
date Wed, 24 May 2006 09:13:31 +0000
parents 756223adf885
children 3d45362f1d38 a8190f7e546e
line wrap: on
line diff
--- a/man/trouble.texi	Sat May 20 17:30:48 2006 +0000
+++ b/man/trouble.texi	Wed May 24 09:13:31 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.