Re: AW: Remove extension from a file name

2005-01-19 Thread Ivan Ivanov
There is also a longer javascript solution, for those who do not know regular expressions very well: $${basename} is ${basename} Regards Ivan --- [EMAIL PROTECTED] wrote: > using regexps > (.*)\..* --> \1 > > Jan > > > -Ursprüngliche Nachricht- > > Von:

AW: Remove extension from a file name

2005-01-19 Thread Jan . Materne
using regexps (.*)\..* --> \1 Jan > -Ursprüngliche Nachricht- > Von: Dick, Brian E. [mailto:[EMAIL PROTECTED] > Gesendet am: Mittwoch, 19. Januar 2005 16:36 > An: Ant Users List > Betreff: Remove extension from a file name > > I need to remove the extension from a file name. The basen