#!/bin/csh
# converts from ISO Latin 1 (ISO 8859/1) to TeX writing

if ($#argv < 2) then
 echo 'Usage:  iso2tex <from-file> <to-file>'
 echo 'Reads from <from-file> and writes to <to-file>'
 echo 'Substitutes TeX writing for the following characters in'
 echo 'ISO Latin 1 (ISO 8859/1):'
 echo '� � � � � � � � � � � � � � � � � � � � � � � � � � � � � �'
 echo '� � � � � � � � � � � � � � � � � � � � � � � � � � � � � � �'
 echo '� � � � � � � �'
 exit(1)
endif

awk '{print}' $1 | sed -f /local/bin/isototex_subst >$2