* fns.c (Frequire): Mention .el.gz files.

Fixes: debbugs:7314

diff --git a/src/ChangeLog b/src/ChangeLog
index fff817118ea477d217c50d5d99c0055330ec8795..980446e84ca29b6ddd29ea7d8217429cc81956e5 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2011-07-02  Lars Magne Ingebrigtsen  <larsi@gnus.org>
+
+       * fns.c (Frequire): Mention .el.gz files (bug#7314).
+
 2011-07-02  Martin Rudalics  <rudalics@gmx.at>
 
        * window.h (window): Remove clone_number slot.

diff --git a/src/fns.c b/src/fns.c
index b6fe2a7f7b616ec4e9133e93487ba2006bdf5b1f..ab01eb6835a30b7e424e549371314b445c96c413 100644 (file)
--- a/src/fns.c
+++ b/src/fns.c
@@ -2613,6 +2613,7 @@ is not loaded; so load the file FILENAME.
 If FILENAME is omitted, the printname of FEATURE is used as the file name,
 and `load' will try to load this name appended with the suffix `.elc' or
 `.el', in that order.  The name without appended suffix will not be used.
+If your system supports it, `.el.gz' files will also be considered.
 If the optional third argument NOERROR is non-nil,
 then return nil if the file is not found instead of signaling an error.
 Normally the return value is FEATURE.