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:
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