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

diff --git a/doc/misc/eshell.texi b/doc/misc/eshell.texi
index 29ffc3dc964442efeede5064f4ef7841d5ee9cdb..4897b410b760d582f0d563b2509afd543bc885fe 100644 (file)
--- 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