#!/usr/bin/perl
$file_count = 0;
foreach $i (0 .. $#ARGV) {
  $infile = $ARGV[$i];
  @fileparts = split(/\./,$infile);
  $extension = pop @fileparts;
  @basename = split(/\//,pop(@fileparts));
  $basename = pop @basename;
  $cmd_toppm = "gs -sDEVICE=ppm -r100x100 -sOutputFile=- -q -dNOPAUSE $infile";
  $cmd_cut = "pnmcut 65 77 833 967";
  $cmd_togif = "ppmtogif";
  print "$infile --> $basename.gif\n";
  system("$cmd_toppm | $cmd_cut | $cmd_togif > $basename.gif");
  }
#!$cmd_toppm = "gs -sDEVICE=ppm -r108x108 -sOutputFile=- -q -dNOPAUSE $infile";
#!$cmd_cut = "pnmcut 69 81 825 959";