blob: b2af8e1b9ffd689c0b21edc844da8ea0d0d87d6b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/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
|