#! bash 
# Last edited on 2003-03-21 16:39:02 by stolfi

# dirs=( zzz )
# dirs=( 0* 1* )
dirs=( $@ )

for dir in ${dirs[@]}; do
  echo "=== ${dir} ====================================================="
  ( cd ${dir} && ~ra880518/parser/prog-texto/script )
done