#!/bin/csh -f

#idvitogif Xenios Papademetris 4 Feb 2000
#
# Needs pstoimg from latex2html distribution and ghostscript

if ( $#argv != 5 ) then
  echo "Usage: idvitogif [Input File] [Page number] [Output File] [x scale non .eps .ps] [x scale .eps .ps]"
  echo Unlike xpdvitogif same size=1 double=2 half=0.5 etc
  exit 1
else
#  echo numargs=$#argv, Input File=$1, Page Number=$2,
#  echo Output =$3,  Scale=$4,$5
#  echo
endif

dvips  -Ppdf -E -pp $2 -o /tmp/tex4ht.ps $1 >& /tmp/tex4ht.txt

grep ".eps>" /tmp/tex4ht.txt  > /tmp/tex4ht.txt2
grep ".ps>"  /tmp/tex4ht.txt >> /tmp/tex4ht.txt2

if (-z /tmp/tex4ht.txt2) then
   	pstoimg -scale $4 -out $3 /tmp/tex4ht.ps
else
      pstoimg -scale $5 -out $3 /tmp/tex4ht.ps
endif

# Clean up
rm /tmp/tex4ht.txt2 /tmp/tex4ht.txt /tmp/tex4ht.ps