#!/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$$
#old: tgif -print -eps -o. $1 2> /dev/null  
echo @IncludeGraphic{ \"$TARGET\" }