#!/bin/sh

if [ $# -ne 3 ]
then
	cat << \end_of_usage

usage:

	make_movie moviename xsize ysize

where your GIF images will be created one by one, then scaled
to make an mpeg movie called moviename.mpg, of size xsize x ysize.

end_of_usage

	exit 1

fi


name=$1
xsize=$2
ysize=$3

echo 
echo "Type 'y' when you want another frame; 'n' when you're done."
echo 

/bin/rm -f $name.in

inc=0
frame=y
while test $frame != n
do
	echo -n "Another frame? "
	read frame
	if test $frame = y
	then
		inc=`echo $inc+1 | bc -l`
		/bin/rm -f $name.$inc $name.$inc.gif $name.$inc.GIF
		xwd >> $name.$inc.xwd
		imconv $name.$inc.xwd $name.$inc.gif
		/bin/rm -f $name.$inc.xwd 
		mv $name.$inc.gif $name.$inc.GIF
		echo $name.$inc.GIF >> $name.in
	fi
done

mpeg_it -f $name.in $name $xsize $ysize

# Andy Long, for SWIG, October 13, 1993.