#!/bin/sh

 cd images
 for file in *.fig; do
    echo "Translating $file into PDF..."
    fig2dev -L pdf -p dummy $file `basename $file .fig`.pdf
 done
 cd ..

 exit 0