#! /bin/csh -f
# Last edited on 2008-02-04 20:49:30 by stolfi

set usage = "$0 TITLE CMDFILE PSFILE"

set title = "$1"; shift;
set cmdfile = "$1"; shift; 
set psfile = "$1"; shift;

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

set gfile = "/tmp/$$.gnuplot"

set title = ( `echo "$title" | tr '_' ' '` )

echo "${psfile}"

cat <<EOF > ${gfile}
set size 1.0, 1.2
set term postscript eps "Times-Roman" 28
set output "${psfile}"
set title "${title}"
set xrange [-0.5:20.5]
set xtics 2
plot (abs(x)<0.1?0.4:1/0) notitle with points \
EOF

cat ${cmdfile} >> ${gfile}

cat <<EOF >> ${gfile}

quit
EOF
# cat ${gfile}

gnuplot < ${gfile}

/bin/rm -f ${gfile}