#! /bin/csh
#  ipe2eps
#  converts IPE files to Encapsulated Postscript
#
if ($#argv < 1) then
  echo "Usage: ipe2eps ipe-file-name"
  echo "to convert an IPE file ipe-file-name to EPS"
  exit(1)
endif
if ($1:e == ipe) then
  set name = $1
  set outname = $1:r.eps
else
  set name = $1.ipe
  set outname = $1.eps
endif
latex << END
\documentstyle[ipe,colordvi]{article}
\setbox0=\hbox{\White{\fbox{\Black{\Ipe{$name}}}}}
\shipout\box0
\stop
END
dvips -E -f article.dvi > $outname
# done !
exit 0
