mirror (url, file)
url
file
Copies the contents of the specified url into file, when the modification time or length of the online version is different from that of the named file.
