changeset 36289:931b5c1e2d14

(Completion Options): Add an index for "ignored file names".
author Eli Zaretskii <eliz@gnu.org>
date Thu, 22 Feb 2001 13:33:05 +0000
parents ed99bc402975
children ce84015c0c41
files man/mini.texi
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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