#!/bin/sh
#
# fig-thumbnailer - thumbnailer script for FIG files.
#
# Usage: fig-thumbnailer fig-file png-file size
#

# command line parameters
ifile=$1
ofile=$2
size=$3

# invoke convert (ImageMagick)
exec convert "fig:$ifile[0]" -scale "$sizex$size" "png:$ofile"
