#!/bin/sh
# Program to make a postscript image from a fig picture with latex labels

if test $# = 2; then
  if test -z $TEXMACS_HOME_PATH; then
    export TEXMACS_HOME_PATH=$HOME/.TeXmacs
  fi
  cp $1 $TEXMACS_HOME_PATH/system/pre.fig
  cd $TEXMACS_HOME_PATH/system
  cp /usr/share/TeXmacs-0.2.5-8/misc/latex/post.tex .
  fig2dev -L pstex pre.fig | cat > pre.ps
  fig2dev -L pstex_t -p pre.ps pre.fig | cat > pre.tex
  latex post
  dvips -E -o post.ps post
  cd $OLDPWD
  mv $TEXMACS_HOME_PATH/system/post.ps $2
  rm -r -f $TEXMACS_HOME_PATH/system/pre*
  rm -r -f $TEXMACS_HOME_PATH/system/post*
else
  echo "Usage: fig2ps <input.fig> <output.ps>"
fi
