F scripts
Date: 2001-02-28 17:02:00

- For instance

       Fif exist  zz%%4.ps DEL zz%%4.ps
       Fif exist zz%%4.ppm DEL zz%%4.ppm
       Fdvips -Pcmz -Pamz -f %%1 -pp %%2  -o zz%%4.ps
       Fgswin32c -sDEVICE=ppm -sOutputFile=zz%%4.ppm -q -dbatch -dNOPAUSE zz%%4.ps -c quit
       Fmove zz%%4.ppm yz%%4.ppm
       Fpnmcrop  yz%%4.ppm > zz%%4.ppm
       Fif exist %%3 DEL %%3
       Fppmtogif -interlace -transparent 1,1,1 zz%%4.ppm > %%3

- The specialized scripts may, for instance, maintain global caches of gifs for cutting down on recompilation time.