#! /usr/bin/gawk -f
# Last edited on 2003-03-30 16:37:21 by stolfi

BEGIN {
  abort = -1;
  uso = ( ARGV[0] " < CORPUS.txt " );
}
  
(abort >= 0) { exit(abort); }

/^ *([#]|$)/{ next; }

/^[0-9]+ +<.*> +/ {
  num = $1;
  lin = $0; gsub(/^[0-9]+ +<.*> +/, "", lin);
  gsub(/[«»]/, "\"", lin);
  
  system(("if [ ! -d " num " ]; then mkdir " num "; fi"));
  filename = ( num "/text.txt" );
  print lin > filename;
  close(filename);
  next;
}

// {
  printf "%d: ** invalid format", FNR > "/dev/stderr";
  abort = 1;
  exit(abort);
}