#!/bin/sh
# XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
#
#    convertit un fichier toto.ps en fichier toto.png, de resolution $2
#
#                         Patrick ROBERT, 1996
#
# XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
#

echo ===================================================================
echo "ps_to_png.sh: convertit un fichier .ps en .png, selon resolution"
echo "              exemple: ps_to_png.sh toto.ps 80"
echo " "

appli=`basename $0`
 
# verification du bon nombre d'arguments (nom du .ps et resolution)
# exemple:  80 ou 150, 300 pour HR

if test $# -ne 2 
   then echo "il faut  le nom du fichier .ps et la resolution en argument"
        echo  "(ex: toto.ps 80)"
        echo "*** $appli aborted !!"
        exit 1
fi

# verification que le fichier .ps existe

if test ! -f $1
   then echo "Le fichier $1 n'existe pas"
        echo "*** $appli aborted !!"
        exit 2
fi

# fabrication du png

nompng=`dirname $1`/`basename $1 .ps`.png

gswin32c.exe -sDEVICE=png16m -sPAPERSIZE=a4  -sOutputFile=$nompng -dNOPAUSE -q -r$2x$2 $1 -c quit

echo
wc -c $nompng

echo " "
echo "end of $appli"
echo ===================================================================
