#!/bin/csh -f
# px-command

if ($#argv<1) then
  echo "usage: px [ source file name ]" 
else
  platex $1
  dvips $1 >! $1.ps
  sdtimage $1.ps &
endif