Small improvement on fancy mail splitting example

Small improvement on fancy mail splitting example

[Sven Joachim]

As a new Gnus fan, I wanted to incorporate my old mail and split it
into sensible groups.  I found the following example in the "Fancy
Mail Splitting" section:

,----
|    If you want to have Gnus create groups dynamically based on some
| information in the headers (i.e., do `replace-match'-like substitutions
| in the group names), you can say things like:
| 
|      (any "debian-\\b\\(\\w+\\)@lists.debian.org" "mail.debian.\\1")
| 
|    In this example, messages sent to `debian-foo@lists.debian.org' will
| be filed in `mail.debian.foo'.
`----

I incorporated this into my nnmail-split-fancy variable and respooled
my old mail. That went quite well, but stuff sent to
debian-l10n-german@lists.debian.org went to wrong places.  And Debian
has quite a lot of debian-foo-bar@lists.debian.org lists not covered
by the above regexp.

So I improved on this and came up with the following patch:

2007-08-06  Sven Joachim  <svenjoac@gmx.de>  (tiny change)

	* gnus.texi (Fancy Mail Splitting): Improve Debian lists example.


--- gnus.texi	20 Jul 2007 15:51:49 +0200	7.241
+++ gnus.texi	06 Aug 2007 22:37:23 +0200	
@@ -14758,7 +14758,7 @@
 substitutions in the group names), you can say things like:
 
 @example
-(any "debian-\\b\\(\\w+\\)@@lists.debian.org" "mail.debian.\\1")
+(any "debian-\\(\\w+-?\\w*\\)@@lists.debian.org" "mail.debian.\\1")
 @end example
 
 In this example, messages sent to @samp{debian-foo@@lists.debian.org}


(The \\b is totally superfluous, AFAICS).  Now my mail groups look much
better. :-)

Cheers,
      Sven