I have a bunch of PNG files that I want to rescale.
Oversimplifying a little, let's say I have files named:
and so on, and I want to make:
and so on, with the output files all at half the scale of the corresponding input files.
Is there a good tool for that?
I have about 200 input files, so preferably the whole process would be automated.
EDIT: I'm on a mac.