[tomcat] Déploiement WAR dans un contexte différent

Bonjour,

Comment est-il possible de dire à Tomcat 5.5 de déployer un fichier war qui porte un nom versionné "monwar-1.0.0.war" dans le contexte /monwar/ (au lieu de /monwar-1.0.0/). Je pensais que cela était paramétrable dans le fichier web.xml mais je ne trouve pas...

PS : J'ai bien lu le post http://www.developpez.net/forums/d65...-nom-war-lurl/ du forum mais je souhaiterais que cela se fasse automatiquement (via un fichier de déploiement par exemple). La solution de saisir à la main à chaque déploiement le contexte ne m'est pas viable.


En vous remerciant,
Loïc