# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 982848785 0
# Node ID 931b5c1e2d143fb08a909835ff2fe8ac7b2455f2
# Parent  ed99bc402975904c07f313ec29982c5d1aac9e7f
(Completion Options): Add an index for "ignored file names".

diff -r ed99bc402975 -r 931b5c1e2d14 man/mini.texi
--- a/man/mini.texi	Thu Feb 22 13:30:58 2001 +0000
+++ b/man/mini.texi	Thu Feb 22 13:33:05 2001 +0000
@@ -360,6 +360,7 @@
 @subsection Completion Options
 
 @vindex completion-ignored-extensions
+@cindex ignored file names, in completion
   When completion is done on file names, certain file names are usually
 ignored.  The variable @code{completion-ignored-extensions} contains a
 list of strings; a file whose name ends in any of those strings is