#!/bin/sh
TARGET=`basename $2 .obj`.eps
cat > /tmp/mk$$ <<EOF
$TARGET: $1
	@cp $1 $2
	tgif -print -eps -o. $2 2> /dev/null
	@rm $2
EOF
make -f /tmp/mk$$ 1>&2
rm /tmp/mk$$

 echo \\includegraphics{$TARGET}