There are tons of tools for converting PDF pictures to EPS pictures in Linux.
The pdf2ps
command is a good one.
It produces EPS pictures without losing much resolution.
The general purpose tools convert
(from the ImageMagick
package) does not produce as good quality EPS figures.