#!/usr/bin/perl
#
# Author: Peter Keel <killer@discordia.ch>
# This converts some gfx-files to ppm-files. Uses pbmutils.
# Take care, file-endings must exist, only one dot allowed...

die "Usage: $0 filenames\n" unless($ARGV[0]);

chop ( $PWD = `pwd`);
$base_dir = $PWD;

foreach $file_name (@ARGV)
    {
	print STDERR "Processing '$file_name'\n";
	$indice = index $file_name, ".";
        $new_file = substr $file_name, 0, $indice ;
	$new_file = $new_file.".ppm";
        system ("xpmtoppm $file_name > $new_file");
    }


