# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1002975251 0
# Node ID de2f745df40637510309f8183c076e85f0a1a537
# Parent  fba70cf81a87ddbf674c1fdc82b071fb6c691692
(Completion Options): Document the significance of a trailing slash
in elements of completion-ignored-extensions.

diff -r fba70cf81a87 -r de2f745df406 man/mini.texi
--- a/man/mini.texi	Sat Oct 13 12:09:26 2001 +0000
+++ b/man/mini.texi	Sat Oct 13 12:14:11 2001 +0000
@@ -363,6 +363,14 @@
 strings, then they are not ignored.  Ignored extensions do not apply to
 lists of completions---those always mention all possible completions.
 
+  If an element of the list in @code{completion-ignored-extensions} ends
+in a slash @file{/}, it indicates a subdirectory that should be ignored
+when completing file names.  (Elements of
+@code{completion-ignored-extensions} which do not end in a slash are
+never considered when a completion candidate is a directory; thus,
+completion returns directories whose names end in @file{.elc} even
+though there's an element @code{".elc"} in the list.)
+
 @vindex completion-auto-help
   Normally, a completion command that cannot determine even one
 additional character automatically displays a list of all possible