DosLib14
===>
dos_copy
Copies a file. The function can be used to copy a file from one directory to another, and from one drive to another.
Syntax
(dos_copy srcfilename destfilename)
Arguments
srcfilename Source file name. Must be the path name of an existing file.
destfilename Destination file name. If this file exists, it will be overwritten.
Returns
A qualified path to destfilename.
nil on error.