renaming a file

Blitz3D Forums/Blitz3D Beginners Area/renaming a file

Weird... I've looked it up in the documentation and I can't find it either... I'd normally say "RenameFile" would do the job, but that command does not seem to exist...
Really strange... Any language should include this...