#! /bin/ksh -p
PUBPATH=$ORTHO_PUB
progname=${0##*/}
( case $progname in
  contex) $PUBPATH/bin/tex-to-iso;;
  contt)  $PUBPATH/bin/tt-to-iso;;
  consun)     /bin/cat;;
  esac ) |                                                                  
/usr/bin/tr -cs '#012\\A-Za-zÀàÁÉÍÓÚáéíóúÂÊÔâêôÃÕãõÜüÇç' '\012'              | 
/usr/bin/egrep -v '[^#01A-Za-zÀàÁÉÍÓÚáéíóúÂÊÔâêôÃÕãõÜüÇç]'                   | 
/usr/bin/tr 'A-ZÀÁÉÍÓÚÂÊÔÃÕÇÜ'  'a-zàáéíóúâêôãõçü'