#! /bin/csh 
# Last edited on 1998-07-09 18:32:15 by stolfi

# Prepares a text for colorization, by lowercasing,
# ensuring that line breaks are precede by one blank,
# and marking paragraphs with "=":

sed \
  -e '/^[^#]/s/\([^ ]\) *$/\1 /' \
  -e 's/^ *$/=/' \
  -e '/^[^#]/y/ABCDEFGHIJKLMNOPQRSTUVWXYZ/abcdefghijklmnopqrstuvwxyz/' \
  -e '/^[^#]/y/ÁÀÂÃÄÉÈÊËÍÌÏÎÓÒÔÕÖÚÙÛÜÝÞÐÇÑØÆ/áàâãäéèêëíìïîóòôõöúùûüýþðçñøæ/'
