#! /bin/csh -f
# Last edited on 2008-02-04 17:13:10 by stolfi

set usage = "$0 FILE.eps LOCDIR"

# Let TESEDIR be  /home/phd/hcgl/tese/texto/. 
# If TESEDIR/FILE.eps = LOCDIR/FILE.eps, and 
# TESEDIR/FILE.fig exists, then copies the latter to LOCDIR/FILE.fig

if ( $#argv != 2 ) then
  echo "usage: ${usage}"; exit 1
endif

set epsfile = "$1"; shift;
set locdir = "$1"; shift;

set file = "${epsfile:r}";
set tesedir = "/home/phd/hcgl/tese/texto";

if ( -r ${tesedir}/${file}.fig ) then
  if ( { /bin/cmp -s ${locdir}/${file}.eps ${tesedir}/${file}.eps } ) then
    cp -avi ${tesedir}/${file}.fig ${locdir}/${file}.fig
  else
    echo "${locdir}/${file}.eps and ${tesedir}/${file}.eps differ --"
    echo "  ${tesedir}/${file}.fig not copied"
  endif
else
  echo "${tesedir}/${file}.fig does not exist"
endif