file:copy

Copies a file or a directory given a source and a target path/URI. The following cases may occur if $source points to a file:

copy($source as xs:string, $target as xs:string) ➔ empty-sequence()

Arguments
	$source	xs:string	The path to the source file/directory
	$target	xs:string	The path to the source file/directory
Result		empty-sequence()

Namespace

http://expath.org/ns/file

Links to specifications

EXPath File Module