[pygame] File Copying

[Ian Mallett]

Hi,
Suppose you have an image file.  Call it "blah.png".  If I want to copy it
to another directory and rename it "Ogg.png", how would I do that with
python code?