#!/bin/csh -f

set file=$1
aviTV2sgi -dump_only < $file
djpeg out00/avi_0000.tvmj > out00/a.ppm
djpeg out00/avi_0001.tvmj > out00/b.ppm
/home/inf4/mlschroe/ppmdeinter out00/a.ppm out00/b.ppm | pnmtotiff > $file:r.tif
rm -rf out00