Fix doc index name on Windows

[Andreas Schwab]

Eli Zaretskii <eliz@gnu.org> writes:

> I didn't mean in the manual, I meant in the code.  Most packages
> assume that any file name is valid, and that file names are just
> case-sensitive strings.  Some packages (GDB is one) are nice enough to
> admit that file-name comparison should be case-insensitive on
> non-Posix platforms.  But I can count on fingers of one hand those
> that have code fragments that cater to more serious limitations or
> idiosyncrasies of non-Posix platforms.

You can count on the fingers of one hand those packages that actually
have to care about conflicting file names in the first place.  Most
programs either don't write files, or they use the file names supplied
by the user.  Generating file names from user input is rather uncommon.

Andreas.

-- 
Andreas Schwab, schwab@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."