#! /bin/sh
# Copyright 2001, 2002 Filippo Rusconi
# GNU GPL'ed software
#
# Takes a ps file as first parameter and converts this file
# to pdf using a first ps2epsi step and a second 
# epstopdf step. Finally removes the epsi file, which is no more needed.
#
# The pdf file is located in the same directory as is the ps file.

basename=`basename $1 ps`
dirname=`dirname $1`

ps2epsi ${dirname}/${basename}ps ${dirname}/${basename}epsi
epstopdf ${dirname}/${basename}epsi --outfile=${dirname}/${basename}pdf
rm ${dirname}/${basename}epsi

