case-insensitive WEB-INF by the jar ...

[Jeya Balaji]

�� �� �� � � ��
Hi friends,
I have a strange problem. When I generate a .war file using ant, the WEB-INF directory name is stored as Web-inf (the culprit might be windows)
This is not for all the occurance. Only for the files directly under WEB-INF. For the other files like under WEB-INF/classes, the directory name is spelled correctly as WEB-INF
So, eventually, I end up getting a war file with the following directory structure :
...
web-inf\ web.xml
web-inf\ mytag.tld
WEB-INF\classes\mypack myBean.class
...
Why do we have two different dir names? The change in case did not give me a problem in windows environment; but I am afraid it might be a problem in linux where I am going to deploy.
The relavent code in build.xml (which is used by ant to create the WEB-INF dir and build myApp.war)

<mkdir  dir="${build.home}"/>
<mkdir  dir="${build.home}/WEB-INF"/>
<mkdir  dir="${build.home}/WEB-INF/classes"/>
...
<jar jarfile="${dist.home}/${app.website}.war"
         basedir="${build.home}"/>

My development environment is :
Windows 98
jdk 1.3
Ant 1.5.1
Tomcat 4.1.12
The directory names in Windows explorer, shows the wrong name web-inf
In the dos prompt, dir command displays the correct name, WEB-INF
Is there any way I could rectify this problem?
A quick search in sun.com didn't give fruitful result.
Earlier I posted this question in 'Ant' forum and didnot get a response. I don't know the right forum; since I frequently visit jsp forum, I am posting here.
Regards,
Balaji