|
 |
Warp wrote:
>
> Some files have capital letters in their names but they are included all
> in lower-case.
> This is a problem. The #included file name should be exactly the same as
> the file name (case sensitive). Either the #include has to be renamed or
> the file name itself has to be renamed to lower case (probably best solution).
> I can automatically convert all file names to lowercase with a relatively
> short unix command, but all unix users might not know enough to do it.
> It would be best that the files were in lowercase in the zip-file itself.
>
Unfortunately, Windows has its own ideas about which letters should be
upper case and which lower case, and AFAIK there's no easy way to change
that.
On unix, the -L option of unzip is supposed to fix the problem...
--
* Abandon the search for truth, * mailto:ber### [at] iname com
* Settle for a good fantasy. * http://www.enst.fr/~jberger
*********************************
Post a reply to this message
|
|
