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

diff -r eb867814731d -r 3cb35be2ee33 doc/misc/dired-x.texi
--- a/doc/misc/dired-x.texi	Sat Aug 23 03:16:58 2008 +0000
+++ b/doc/misc/dired-x.texi	Sat Aug 23 03:17:34 2008 +0000
@@ -704,6 +704,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.