#!/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