#!/bin/csh -f

mtgif $1.ppm
mv $1.gif inlines

gzip $1.dxf
mv $1.dxf.gz $1.dxf.gz.saveme

/bin/rm $1.ppm
chmod ugo+r *


