#!/bin/csh -f

set fileroot = $1:r

mv $fileroot.log $fileroot.logsave >& /dev/null
   # since distiller dumbly destroys .log files
/home/rig/software/Acrobat3/bin/distill $1
mv $fileroot.logsave $fileroot.log >& /dev/null