#! /bin/csh -f -e

if ( $#argv != 1 ) then
  echo 'Usage: '"$0"' <file>'
  exit 1
endif

if ( "x$1:e" != "xtex" ) then
  set file = "$1.tex"
else
  set file = "$1"
endif 

nawk -f ${HOME}/bin/tt-to-tex.awk < $file > ,@$file
patex ,@$file