#! /bin/sh
# Copyright 2001, 2002 Filippo Rusconi
# GNU GPL'ed software
#
# Takes a pdf file as first parameter and converts this file
# to eps format and next moves the eps file to ps.
#
# The ps file is located in the same directory as is the pdf file.

basename=`basename $1 pdf`
dirname=`dirname $1`

pdftops -eps ${dirname}/${basename}pdf
mv ${dirname}/${basename}eps ${dirname}/${basename}ps


