#!/bin/sh
FILE=`basename $1 .tex`
TMPTEX=tmp$$
cat > $TMPTEX.tex << EOF
\documentstyle{article}
\pagestyle{empty}
\begin{document}
EOF
cat $1 >> $TMPTEX.tex
echo ' \end{document}' >> $TMPTEX.tex
 latex $TMPTEX.tex >/dev/null
dvips -q -E -o $FILE.eps $TMPTEX >/dev/null 2>/dev/null
#dvips -q -E $TMPTEX
#cat $TMPTEX.ps >$FILE.eps 
rm -f $TMPTEX.*