#! /bin/bash

# Converts all eps files to respective jpg files
# Gowtham, 16 September 2004
# 

# This makes a list of all EPS files
# Modify the extension to pick other type of images
export EPS_LIST=`find . -iname "*.eps" | sort`

# ImageMagick's convert utility
export CONVERT="/usr/bin/convert"

for x in $EPS_LIST
do
  if [ "$x" != "" ] 
  then
    export FILENAME=`echo "$x" | awk -F '.' '{ print $1; }'`
    echo "converting $x to $FILENAME.jpg"
    $CONVERT $x $FILENAME.jpg
  fi
done