(Mail Source Customization): Addition.

diff --git a/texi/ChangeLog b/texi/ChangeLog
index 8c3b9d5..1d04330 100644 (file)
--- a/texi/ChangeLog
+++ b/texi/ChangeLog
@@ -1,3 +1,7 @@
+2003-02-07  Lars Magne Ingebrigtsen  <larsi@gnus.org>
+
+       * gnus.texi (Mail Source Customization): Addition.
+
 2003-02-04  Reiner Steib  <Reiner.Steib@gmx.de>
 
        * message.texi (Mail Variables): Added index entry for

diff --git a/texi/gnus.texi b/texi/gnus.texi
index 62f4026..66710ca 100644 (file)
--- a/texi/gnus.texi
+++ b/texi/gnus.texi
@@ -13311,6 +13311,10 @@ File where mail will be stored while processing it.  The default is
 @vindex mail-source-delete-incoming
 If non-@code{nil}, delete incoming files after handling them.
 
+@item mail-source-ignore-errors
+@vindex mail-source-ignore-errors
+If non-@code{nil}, ignore errors when reading mail from a mail source.
+
 @item mail-source-directory
 @vindex mail-source-directory
 Directory where files (if any) will be stored.  The default is