From 89dc96ee75ffc37eb30efad73aac239f6467e26a Mon Sep 17 00:00:00 2001
From: Eli Zaretskii <eliz@gnu.org>
Date: Thu, 22 Feb 2001 13:33:05 +0000
Subject: [PATCH] (Completion Options): Add an index for "ignored file names".

---
 man/mini.texi | 1 +
 1 file changed, 1 insertion(+)

diff --git a/man/mini.texi b/man/mini.texi
index 7611c7c32ea..6e15d1fc674 100644
--- a/man/mini.texi
+++ b/man/mini.texi
@@ -360,6 +360,7 @@ the list of completions is long, you can scroll it with @kbd{C-M-v}
 @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
-- 
2.39.5