copying a directory

[Anon]

Does anyone know how to make php copy an entire directory (in Linux)?

Thanks,

[[deleted]]

system('cp -r source dest');