#!/bin/csh -f
# pl-command
if ($#argv<1) then
  echo "usage: pl latex_source_file_name" 
else
  platex $1
  dvips $1 >! $1.ps
  imagetool $1.ps &
endif