#! /bin/csh -f 
# Last edited on 2000-05-09 04:34:14 by stolfi

# Removes HTML formatting from takeshi's page files

cat \
  | tr -d '\015' \
  | unsplit-fontified-lines \
  | remove-junk-html \
  | sed \
      -e 's:<font face="EVA Hand 1">::g' \
      -e 's:</font>::g' \
      -e 's:^ *::g' \
      -e 's: *$::g' \
  | egrep -v '^[ ]*$' \
  | html-to-iso \
  | sed \
      -e '/^[#]/s/$/@/' \
      -e '/^[#][#]/s/^/@/' \
      -e 's:[.]*[,][.]*:-@:g' \
      -e '/^[^#]/s/<[Bb][Rr]>/-@/g' \
      -e '/^[^#]/s/<[Pp]>/=@/g' \
      -e '/^[^#]/y/ /./' \
  | tr '\012@' '.\012' \
  | sed \
      -e 's/[.][.]*_/__/g' \
      -e 's/_[.][.]*/__/g' \
      -e 's/^[-._=]*//g' \
      -e 's/[-._]*[=][-._=]*/=/g' \
      -e 's/[.]*[-_][-._]*/-/g' \
      -e 's/[.][.][.]*/./g'