# HG changeset patch
# User Glenn Morris <rgm@gnu.org>
# Date 1219517645 0
# Node ID 8e78c11def2d60ae9f7940ee1adec15d43e3cc0b
# Parent  bb0da1408113ff71ca5561aca96d54266ec6646c
(Shell Command Guessing): Mention dired-guess-shell-case-fold-search.
(Bug#417)

diff -r bb0da1408113 -r 8e78c11def2d man/dired-x.texi
--- a/man/dired-x.texi	Sat Aug 23 18:52:28 2008 +0000
+++ b/man/dired-x.texi	Sat Aug 23 18:54:05 2008 +0000
@@ -711,6 +711,13 @@
 @noindent
 This will override any predefined rules for the same extensions.
 
+@item dired-guess-shell-case-fold-search
+@vindex dired-guess-shell-case-fold-search
+Default: @code{t}
+
+Non-@code{nil} means @code{dired-guess-shell-alist-default} and
+@code{dired-guess-shell-alist-user} are matched case-insensitively.
+
 @item dired-guess-shell-gnutar
 @vindex dired-guess-shell-gnutar
 @cindex Passing GNU Tar its @samp{z} switch.