#!/usr/pkg/bin/bash
# Eukleides version 0.9.2
# Eukleides to EPS converter
# Copyright Christian Obrecht 2000-2003

eukleides -v
file=`expr $1 : '\(.*\).euk' '|' $1`
echo "\input pst-eps\input pst-plot\input pst-node\TeXtoEPS" > $file.euk.tex \
&& eukleides $1 >> $file.euk.tex \
&& echo "\endTeXtoEPS\nopagenumbers\end" >> $file.euk.tex \
&& tex --interaction=nonstopmode $file.euk.tex > /dev/null \
&& dvips -q -f -E $file.euk.dvi > $file.eps
if [ $file.euk.tex -nt $file.eps ]
then echo "Error: please check '"$file.euk"' or '"$file.euk.log"'." > /dev/stderr
else rm -f $file.euk.tex $file.euk.dvi $file.euk.log
fi
