#! /bin/csh -f
# Last edited on 1999-06-05 01:46:37 by stolfi
# Based on "contex" by T. Kowaltowsi

/n/gnu/bin/gawk -v prog="$0" 'BEGIN{printf "%s started\n", prog > "/dev/stderr";}'

${ORTHO_PUB}/bin/tex-to-iso \
  | /usr/bin/tr -cs '#012\\A-Za-zÀàÁÉÍÓÚáéíóúÂÊÔâêôÃÕãõÜüÇç' '\012' \
  | /usr/bin/egrep -v '[^#01A-Za-zÀàÁÉÍÓÚáéíóúÂÊÔâêôÃÕãõÜüÇç]'    \
  | /usr/bin/tr 'A-ZÀÁÉÍÓÚÂÊÔÃÕÇÜ'  'a-zàáéíóúâêôãõçü'