#! /usr/bin/gawk -f
# Last edited on 2000-05-20 23:33:22 by stolfi

BEGIN {
  usage = ( \
    "factor-words \\\n" \
    "    -f factor-text.gawk \\\n" \
    "    [-v hicsmash=1 | -v hicsplit=1] \\\n" \
    "    [-v ktsmash=1] [-v chshsmash=1] \\\n" \
    "    [-v eelump=1] [-v esplit=1] \\\n" \
    "    < INFILE > OUTFILE" \
  );
  # 
  # For the options, see "factor-text.gawk".
}

/^ *$/{next;}

//{ 
  
  # Factor elements:
  $0 = factor_text($0,eelump,chshsmash,ktsmash,hicsmash,hicsplit,esplit);

  print; next;
}

function error(msg)
{ 
  printf "line %d: %s\n", NR, msg >> "/dev/stderr";
  abort = 1;
  exit 1;
}