After some mail exchange (thanks to the people who answered), I wrote a
python script epscrop that does the conversion. It requires Python 1.5 and
ps2epsi. It can be called from the command line with as many arguments as
wished, e.g. cropeps *.eps and will convert all files in turn.
The
After some mail exchange (thanks to the people who answered), I wrote a
python script epscrop that does the conversion. It requires Python 1.5 and
ps2epsi. It can be called from the command line with as many arguments as
wished, e.g. cropeps *.eps and will convert all files in turn.
The
After some mail exchange (thanks to the people who answered), I wrote a
python script "epscrop" that does the conversion. It requires Python >1.5 and
ps2epsi. It can be called from the command line with as many arguments as
wished, e.g. "cropeps *.eps" and will convert all files in turn.
The