changing file name

hello,

i have a file on my computer called "extfull.exe" and want the setup to install it as "ext.exe" , so tried this:

SetOutPath "$INSTDIR"
File "/onname=ext.exe" "C:\yehia\Developement\VB\extfull.exe"

i'm not sure about the syntax, so anyone could tell what is the right one with an example?

Thanks in advance
Yehia

oname, not onname.

oops,thanks