# HG changeset patch
# User Alex Schroeder <alex@gnu.org>
# Date 1198236815 0
# Node ID 524874ca59493307b057e83f61b2eb8f660fbce2
# Parent  a8cbe248a415363101c4ca68a0e4aace72a8d1f9
(People): Changed /ignore example.

diff -r a8cbe248a415 -r 524874ca5949 doc/misc/rcirc.texi
--- a/doc/misc/rcirc.texi	Fri Dec 21 10:22:37 2007 +0000
+++ b/doc/misc/rcirc.texi	Fri Dec 21 11:33:35 2007 +0000
@@ -699,7 +699,7 @@
 ignoring.  All messages by ignored nicks are---you guessed it---ignored.
 Since only ``operators'' can kick people from channels, the
 ignore command is often the only way to deal with some of the more
-obnoxious fellows online.  Example: @code{/ignore xah}.
+obnoxious fellows online.  Example: @code{/ignore rudybot}.
 
 @item /bright
 @cindex /bright