void DeleteFile(str FileName)
Marks the specified file for deletion after the compilation has completed. Does not return anything. Also see DeleteFileNow.