diff options
| author | Eli Zaretskii | 2001-02-22 13:33:05 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2001-02-22 13:33:05 +0000 |
| commit | 89dc96ee75ffc37eb30efad73aac239f6467e26a (patch) | |
| tree | 0a359e855315cce099a75db88061bbd4e766b0e1 | |
| parent | 9238a8df8abebef090aeb0ed9a76e0c7de5704bc (diff) | |
| download | emacs-89dc96ee75ffc37eb30efad73aac239f6467e26a.tar.gz emacs-89dc96ee75ffc37eb30efad73aac239f6467e26a.zip | |
(Completion Options): Add an index for "ignored file names".
| -rw-r--r-- | man/mini.texi | 1 |
1 files changed, 1 insertions, 0 deletions
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} | |||
| 360 | @subsection Completion Options | 360 | @subsection Completion Options |
| 361 | 361 | ||
| 362 | @vindex completion-ignored-extensions | 362 | @vindex completion-ignored-extensions |
| 363 | @cindex ignored file names, in completion | ||
| 363 | When completion is done on file names, certain file names are usually | 364 | When completion is done on file names, certain file names are usually |
| 364 | ignored. The variable @code{completion-ignored-extensions} contains a | 365 | ignored. The variable @code{completion-ignored-extensions} contains a |
| 365 | list of strings; a file whose name ends in any of those strings is | 366 | list of strings; a file whose name ends in any of those strings is |