#!/bin/sh
#------------------------->  Bourne shell - script  <-------------------------#
#- Copyright (C) 199x by International Computer Science Institute            -#
#- This file is part of the GNU Sather package. It is free software; you may -#
#- redistribute  and/or modify it under the terms of the  GNU General Public -#
#- License (GPL)  as  published  by the  Free  Software  Foundation;  either -#
#- version 2 of the license, or (at your option) any later version.          -#
#- This  program  is distributed  in the  hope that it will  be  useful, but -#
#- WITHOUT ANY WARRANTY without even the implied warranty of MERCHANTABILITY -#
#- or FITNESS FOR A PARTICULAR PURPOSE. See Doc/GPL for more details.        -#
#- The license text is also available from:  Free Software Foundation, Inc., -#
#- 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA                     -#
#------------->  Please email comments to <bug-sather@gnu.org>  <-------------#

rm -f *ppm
rm -f *.gif
rm -f *.ps

for i in *.gr ; do 
   echo	"Browser/Web/gr2gif:Running dot. Generating" $i
   $SATHER_HOME/Browser/Web/graph2dot $i
   dot -Tps -o$i.ps $i.dot
   echo "Browser/Web/gr2gif: Running gs..."
   # jpg quality is pretty bad - all kinds of speckling
   # is introduced, making the image not very readable, 
   # especially when printed.
   # Use the -debug option below if things don't work
   $SATHER_HOME/Browser/Web/ps2gif -gif -crop ${i}.ps
   $SATHER_HOME/Browser/Web/gif2jpg ${i}.gif
done

rm -f *ppm
rm -f *.ps
