Re: renaming directories on windows port

[Stefan Monnier]

>> When `file' names a directory, and `newname' and `file' differ in case
>> only, the intended action of `rename-file' on Windows reasonably is to
>> just change the case of the directory name.  The trivial patch below
>> should resolve this:

> Should this also be the semantics for other platforms with case-preserving
> filesystems, such as the default MacOS X filesystem?

I think so, yes.


        Stefan