From: Jim Porter <jporterbugs@gmail.com>
Date: Tue, 22 Aug 2023 01:45:36 +0000 (-0700)
Subject: ; * doc/misc/eshell.texi (Globbing): Fix duplicated index.
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=c86100d46cbcccd3abdd57b92814b4c5a356afa9;p=emacs.git

; * doc/misc/eshell.texi (Globbing): Fix duplicated index.
---

diff --git a/doc/misc/eshell.texi b/doc/misc/eshell.texi
index 29ffc3dc964..4897b410b76 100644
--- a/doc/misc/eshell.texi
+++ b/doc/misc/eshell.texi
@@ -1498,7 +1498,6 @@ Eshell's globbing syntax is very similar to that of Zsh
 coming from Bash can still use Bash-style globbing, as there are no
 incompatibilities.
 
-@vindex eshell-glob-case-insensitive
 @vindex eshell-glob-case-insensitive
 Globs are case sensitive by default, except on MS-DOS/MS-Windows
 systems.  You can control this behavior via the